.settings/org.eclipse.core.resources.prefs
changeset 1738 d8dcb2ecfd14
parent 839 dbd34aad9c7a
--- a/.settings/org.eclipse.core.resources.prefs	Wed Oct 01 12:34:44 2008 +0000
+++ b/.settings/org.eclipse.core.resources.prefs	Wed Oct 01 12:57:20 2008 +0000
@@ -1,3 +1,3 @@
-#Tue Oct 02 17:26:23 CEST 2007
+#Thu Sep 18 14:44:21 CEST 2008
 eclipse.preferences.version=1
 encoding/<project>=UTF-8