Christian 6c48db441c Eclipse workspace fixup 2?		2012-10-20 14:42:25 -04:00
..
org.eclipse.core.resources/.projects	Eclipse workspace fixup 2?	2012-10-20 14:42:25 -04:00
org.eclipse.core.runtime/.settings	Eclipse workspace fixup 2?	2012-10-20 14:42:25 -04:00
org.eclipse.debug.ui	Eclipse workspace fixup 2?	2012-10-20 14:42:25 -04:00