changeset 24:8c5676394093

added Eclipse settings folder
author Sebastian Kruse <skruse@mpiwg-berlin.mpg.de>
date Mon, 26 Nov 2012 14:48:49 +0100
parents 93693277d19e
children 14a45e7ec62e
files .settings/com.google.gdt.eclipse.core.prefs .settings/com.google.gwt.eclipse.core.prefs .settings/org.eclipse.jdt.core.prefs .settings/org.eclipse.wst.common.project.facet.core.xml
diffstat 4 files changed, 18 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.settings/com.google.gdt.eclipse.core.prefs	Mon Nov 26 14:48:49 2012 +0100
@@ -0,0 +1,4 @@
+eclipse.preferences.version=1
+launchConfigExternalUrlPrefix=
+warSrcDir=war
+warSrcDirIsOutput=true
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.settings/com.google.gwt.eclipse.core.prefs	Mon Nov 26 14:48:49 2012 +0100
@@ -0,0 +1,3 @@
+eclipse.preferences.version=1
+filesCopiedToWebInfLib=gwt-servlet.jar
+gwtCompileSettings=PGd3dC1jb21waWxlLXNldHRpbmdzPjxsb2ctbGV2ZWw+SU5GTzwvbG9nLWxldmVsPjxvdXRwdXQtc3R5bGU+T0JGVVNDQVRFRDwvb3V0cHV0LXN0eWxlPjxleHRyYS1hcmdzPjwhW0NEQVRBW11dPjwvZXh0cmEtYXJncz48dm0tYXJncz48IVtDREFUQVstWG14NTEybV1dPjwvdm0tYXJncz48ZW50cnktcG9pbnQtbW9kdWxlPmVjb25uZWN0LndwM18zLlN0aTwvZW50cnktcG9pbnQtbW9kdWxlPjwvZ3d0LWNvbXBpbGUtc2V0dGluZ3M+
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.settings/org.eclipse.jdt.core.prefs	Mon Nov 26 14:48:49 2012 +0100
@@ -0,0 +1,7 @@
+eclipse.preferences.version=1
+org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
+org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.6
+org.eclipse.jdt.core.compiler.compliance=1.6
+org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
+org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
+org.eclipse.jdt.core.compiler.source=1.6
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.settings/org.eclipse.wst.common.project.facet.core.xml	Mon Nov 26 14:48:49 2012 +0100
@@ -0,0 +1,4 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<faceted-project>
+  <installed facet="java" version="1.6"/>
+</faceted-project>