minor change to demand points-to interfacemaster
[wala.git] / com.ibm.wala.core / .settings / 
tree944de07069e7bc774c4c1ceb71d496548b98a468
drwxr-xr-x   ..
-rw-r--r-- 27069 org.eclipse.jdt.core.prefs
-rw-r--r-- 5799 org.eclipse.jdt.ui.prefs