WALA/com.ibm.wala.core/.settings
msridhar1 3722168a9c git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3114 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 2008-12-02 18:48:42 +00:00
..
org.eclipse.jdt.core.prefs change to 1.5 execution environment; fix some warnings 2008-12-01 21:50:54 +00:00
org.eclipse.jdt.ui.prefs git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@3114 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 2008-12-02 18:48:42 +00:00