.settings/org.eclipse.cdt.core.prefs
changeset 0 fb772792efd1
equal deleted inserted replaced
-1:000000000000 0:fb772792efd1
       
     1 #Wed Jan 31 15:26:34 CET 2007
       
     2 eclipse.preferences.version=1
       
     3 indexerId=org.eclipse.cdt.core.fastIndexer