RandomSec/extensions/database/.settings/org.eclipse.jdt.ui.prefs
2018-01-13 20:24:56 -06:00

5 lines
123 B
INI

#Mon Sep 27 15:02:46 PDT 2010
eclipse.preferences.version=1
formatter_profile=_Google Refine
formatter_settings_version=11