From 9030d78b395946fdde079810f40c131c452fe7ff Mon Sep 17 00:00:00 2001 From: Ramon van Alteren Date: Wed, 8 Feb 2012 11:02:12 +0100 Subject: [PATCH] Removing eclipse settings --- .settings/org.eclipse.core.resources.prefs | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 .settings/org.eclipse.core.resources.prefs diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs deleted file mode 100644 index 107568d..0000000 --- a/.settings/org.eclipse.core.resources.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Mon Jan 09 16:45:21 GMT 2012 -eclipse.preferences.version=1 -encoding//doc/source/conf.py=utf-8 -- 2.34.1