WALA/com.ibm.wala.cast.java.poly.../.settings
dolby 1965001200 adapt to changes in source position mapping 2012-07-02 13:38:59 -04:00
..
org.eclipse.jdt.core.prefs adapt to changes in source position mapping 2012-07-02 13:38:59 -04:00
org.eclipse.jdt.ui.prefs switch to WALA code formatting 2009-04-13 19:22:09 +00:00