repos - Revision 104: /Ed/Trunk/CorEd/.settings
..
org.eclipse.core.resources.prefs