WarpPI/.settings/org.eclipse.jdt.core.prefs
2017-01-31 22:29:49 +01:00

3 lines
109 B
INI

eclipse.preferences.version=1
org.eclipse.jdt.core.javaFormatter=org.eclipse.jdt.core.defaultJavaFormatter