DASCA/WALA
2
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
master
WALA/com.ibm.wala.cast/.settings/org.eclipse.jdt.launching.prefs
Juergen Graf 9b1cf1ae07 no warnings in com.ibm.wala.cast
2013-03-12 00:29:01 +01:00

3 lines
106 B
INI
Raw Permalink Blame History

eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=ignore
Reference in New Issue View Git Blame Copy Permalink