Remove old autovect-branch by moving to "dead" directory.heads/dead
[official-gcc.git] / old-autovect-branch / libjava / classpath / .settings / 
tree98adfaaeb69cbe663f958d8ea5e1fff2ef74c4e6
drwxr-xr-x   ..
-rw-r--r-- 0 org.eclipse.core.resources.prefs
-rw-r--r-- 24686 org.eclipse.jdt.core.prefs
-rw-r--r-- 7546 org.eclipse.jdt.ui.prefs