.settings/org.eclipse.cdt.core.prefs
changeset 106 fd36793107dc
child 122 7774ae1174ed
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/.settings/org.eclipse.cdt.core.prefs	Sat May 19 11:01:47 2007 +0000
     1.3 @@ -0,0 +1,3 @@
     1.4 +#Sat Feb 17 16:17:18 CET 2007
     1.5 +eclipse.preferences.version=1
     1.6 +indexerId=org.eclipse.cdt.core.fastIndexer