]> git.aero2k.de Git - tmp/jakarta-migration.git/commitdiff
projects / tmp / jakarta-migration.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ad519d1)
NOJIRA: Updating Eclipse settings files.
authorRichard Millet <richard.millet@berkeley.edu>
Fri, 6 Aug 2010 18:57:36 +0000 (18:57 +0000)
committerRichard Millet <richard.millet@berkeley.edu>
Fri, 6 Aug 2010 18:57:36 +0000 (18:57 +0000)
services/client/.settings/org.eclipse.jdt.core.prefs [deleted file] patch | blob | history

diff --git a/services/client/.settings/org.eclipse.jdt.core.prefs b/services/client/.settings/org.eclipse.jdt.core.prefs
deleted file mode 100644 (file)
index 0049b20..0000000
--- a/services/client/.settings/org.eclipse.jdt.core.prefs
+++ /dev/null
@@ -1,5 +0,0 @@
-#Fri Oct 09 13:43:25 PDT 2009\r
-eclipse.preferences.version=1\r
-org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6\r
-org.eclipse.jdt.core.compiler.compliance=1.6\r
-org.eclipse.jdt.core.compiler.source=1.6\r