]> 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: ee39745)
NOJIRA: Removing unnecessary Eclipse settings file.
authorRichard Millet <richard.millet@berkeley.edu>
Mon, 9 Aug 2010 17:36:30 +0000 (17:36 +0000)
committerRichard Millet <richard.millet@berkeley.edu>
Mon, 9 Aug 2010 17:36:30 +0000 (17:36 +0000)
services/authorization-mgt/service/.settings/org.eclipse.jdt.core.prefs [deleted file] patch | blob | history

diff --git a/services/authorization-mgt/service/.settings/org.eclipse.jdt.core.prefs b/services/authorization-mgt/service/.settings/org.eclipse.jdt.core.prefs
deleted file mode 100644 (file)
index c821ca4..0000000
--- a/services/authorization-mgt/service/.settings/org.eclipse.jdt.core.prefs
+++ /dev/null
@@ -1,5 +0,0 @@
-#Mon Apr 05 14:32:14 PDT 2010\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