minor change to demand points-to interfacemaster
[wala.git] / com.ibm.wala.core.testdata / .settings / 
tree8a871ac17701e3e5a4a592bc5dce2c275955459e
drwxr-xr-x   ..
-rw-r--r-- 26130 org.eclipse.jdt.core.prefs
-rw-r--r-- 187 org.eclipse.jdt.ui.prefs