vor 13 Jahren · 103e2a708a
--- a/de.itemis.xtext.utils/plugins/de.itemis.xtext.utils.gmf/.settings/org.eclipse.jdt.core.prefs
+++ b/de.itemis.xtext.utils/plugins/de.itemis.xtext.utils.gmf/.settings/org.eclipse.jdt.core.prefs
@@ -1,4 +1,4 @@
 
				-#Mon Mar 28 13:08:10 CEST 2011
			
 
				+#Mon Feb 13 15:33:43 CET 2012
			
 
				 eclipse.preferences.version=1
			
 
				 org.eclipse.jdt.core.compiler.codegen.inlineJsrBytecode=enabled
			
 
				 org.eclipse.jdt.core.compiler.codegen.targetPlatform=1.5