diff options
Diffstat (limited to 'projects/net.wotonomy.web/.settings')
| -rw-r--r-- | projects/net.wotonomy.web/.settings/org.eclipse.jdt.core.prefs | 12 | ||||
| -rw-r--r-- | projects/net.wotonomy.web/.settings/org.eclipse.jdt.ui.prefs | 3 |
2 files changed, 15 insertions, 0 deletions
diff --git a/projects/net.wotonomy.web/.settings/org.eclipse.jdt.core.prefs b/projects/net.wotonomy.web/.settings/org.eclipse.jdt.core.prefs new file mode 100644 index 0000000..f0418e2 --- /dev/null +++ b/projects/net.wotonomy.web/.settings/org.eclipse.jdt.core.prefs @@ -0,0 +1,12 @@ +#Thu Feb 16 21:51:56 EST 2006 +eclipse.preferences.version=1 +org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled +org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.2 +org.eclipse.jdt.core.compiler.codegen.unusedLocal=preserve +org.eclipse.jdt.core.compiler.compliance=1.4 +org.eclipse.jdt.core.compiler.debug.lineNumber=generate +org.eclipse.jdt.core.compiler.debug.localVariable=generate +org.eclipse.jdt.core.compiler.debug.sourceFile=generate +org.eclipse.jdt.core.compiler.problem.assertIdentifier=warning +org.eclipse.jdt.core.compiler.problem.enumIdentifier=warning +org.eclipse.jdt.core.compiler.source=1.3 diff --git a/projects/net.wotonomy.web/.settings/org.eclipse.jdt.ui.prefs b/projects/net.wotonomy.web/.settings/org.eclipse.jdt.ui.prefs new file mode 100644 index 0000000..ad23fed --- /dev/null +++ b/projects/net.wotonomy.web/.settings/org.eclipse.jdt.ui.prefs @@ -0,0 +1,3 @@ +#Thu Feb 16 21:51:56 EST 2006 +eclipse.preferences.version=1 +internal.default.compliance=default |