From b2f49b15ba26cf59069491bd89fef90c43272cc3 Mon Sep 17 00:00:00 2001 From: Joe Bowser Date: Thu, 10 May 2012 12:25:47 -0700 Subject: [PATCH] Don't commit Eclipse preferences --- framework/.settings/org.eclipse.jdt.core.prefs | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 framework/.settings/org.eclipse.jdt.core.prefs diff --git a/framework/.settings/org.eclipse.jdt.core.prefs b/framework/.settings/org.eclipse.jdt.core.prefs deleted file mode 100644 index f77b31c2..00000000 --- a/framework/.settings/org.eclipse.jdt.core.prefs +++ /dev/null @@ -1,4 +0,0 @@ -eclipse.preferences.version=1 -org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5 -org.eclipse.jdt.core.compiler.compliance=1.5 -org.eclipse.jdt.core.compiler.source=1.5