devinsy-rss/.settings/org.eclipse.jdt.ui.prefs
2013-06-20 01:08:32 +02:00

3 lines
87 B
INI

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