6af2231a404c1ffc576e4fe5c31d2eb37277d25a
[gigi.git] / .settings / org.eclipse.jdt.ui.prefs
1 eclipse.preferences.version=1
2 formatter_profile=_cacert-gigi
3 formatter_settings_version=12
4 org.eclipse.jdt.ui.ignorelowercasenames=true
5 org.eclipse.jdt.ui.importorder=java;javax;org;com;
6 org.eclipse.jdt.ui.ondemandthreshold=99
7 org.eclipse.jdt.ui.staticondemandthreshold=1