Browse Source

Set font encoding

markus.muehlbrandt@itemis.de 13 years ago
parent
commit
eaa6b882df

+ 1 - 2
plugins/org.yakindu.sct.generator.java/.settings/org.eclipse.core.resources.prefs

@@ -1,4 +1,3 @@
-#Tue Oct 11 09:17:33 CEST 2011
+#Mon Nov 21 13:52:58 CET 2011
 eclipse.preferences.version=1
 encoding//.settings/org.eclipse.xtend.shared.ui.prefs=Cp1252
-encoding/<project>=Cp1252