buildjar/.settings/org.eclipse.jdt.ui.prefs
2013-06-26 20:53:38 +02:00

3 lines
87 B
INI

eclipse.preferences.version=1
formatter_profile=_Devinsy
formatter_settings_version=12