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

#Thu Jan 03 11:24:41 EST 2008
eclipse.preferences.version=1
formatter_profile=_WALA
formatter_settings_version=11
instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true
tweak code formatting template git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2261 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 2008-01-03 16:30:56 +00:00			`#Thu Jan 03 11:24:41 EST 2008`
mv stuff to trunk git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@492 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 2006-11-22 17:45:24 +00:00			`eclipse.preferences.version=1`
shared code formatter settings git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1066 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 2007-05-07 13:20:57 +00:00			`formatter_profile=_WALA`
tweak code formatting template git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@2261 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 2008-01-03 16:30:56 +00:00			`formatter_settings_version=11`
bump up source level to 6.0 git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1849 f5eafffb-2e1d-0410-98e4-8ec43c5233c4 2007-10-11 14:25:49 +00:00			`instance/org.eclipse.core.net/org.eclipse.core.net.hasMigrated=true`