android13/external/jsr305/ri/.settings/org.eclipse.jdt.ui.prefs

4 lines
102 B
INI

#Wed Jun 20 13:34:34 GMT-05:00 2007
eclipse.preferences.version=1
internal.default.compliance=default