.settings/org.eclipse.cdt.core.prefs
changeset 122 7774ae1174ed
parent 1 eeea35fbf182
     1.1 --- a/.settings/org.eclipse.cdt.core.prefs	Sat Feb 24 11:00:05 2007 +0000
     1.2 +++ b/.settings/org.eclipse.cdt.core.prefs	Tue May 22 20:48:39 2007 +0000
     1.3 @@ -1,3 +1,3 @@
     1.4 -#Sat Feb 17 16:17:18 CET 2007
     1.5 +#Sun May 20 17:02:13 GMT+01:00 2007
     1.6  eclipse.preferences.version=1
     1.7  indexerId=org.eclipse.cdt.core.fastIndexer