WALA/com.ibm.wala.cast.js.rhino/.settings
Manu Sridharan 00eb1d2bd2 Set all projects to build against Java 6; no semantic change. Fixes #20 2013-04-10 16:01:27 -07:00
..
org.eclipse.jdt.core.prefs Set all projects to build against Java 6; no semantic change. Fixes #20 2013-04-10 16:01:27 -07:00
org.eclipse.jdt.ui.prefs update Eclipse prefs 2012-01-06 21:24:07 +00:00