Removing eclipse settings
authorRamon van Alteren <ramon@vanalteren.nl>
Wed, 8 Feb 2012 10:02:12 +0000 (11:02 +0100)
committerRamon van Alteren <ramon@vanalteren.nl>
Wed, 8 Feb 2012 14:13:34 +0000 (15:13 +0100)
.settings/org.eclipse.core.resources.prefs [deleted file]

diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs
deleted file mode 100644 (file)
index 107568d..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
-#Mon Jan 09 16:45:21 GMT 2012\r
-eclipse.preferences.version=1\r
-encoding//doc/source/conf.py=utf-8\r