.settings/org.eclipse.cdt.core.prefs
changeset 107 06d3636f6611
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 13:10:11 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