WALA/com.ibm.wala.emf/.settings/org.eclipse.jdt.ui.prefs

4 lines
99 B
INI

#Thu Jan 11 15:06:53 EST 2007
eclipse.preferences.version=1
internal.default.compliance=default