.settings/org.eclipse.core.runtime.prefs
changeset 146 e2d3fa7aad7c
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/.settings/org.eclipse.core.runtime.prefs	Thu Aug 18 17:00:31 2011 +0200
@@ -0,0 +1,3 @@
+#Thu Aug 04 12:59:27 CEST 2011
+eclipse.preferences.version=1
+line.separator=\n