RandomSec/extensions/database/.settings/org.eclipse.jdt.ui.prefs
2017-12-22 22:43:02 -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