diff --git a/.settings/org.eclipse.core.resources.prefs b/.settings/org.eclipse.core.resources.prefs deleted file mode 100644 index edc3ef8..0000000 --- a/.settings/org.eclipse.core.resources.prefs +++ /dev/null @@ -1,6 +0,0 @@ -eclipse.preferences.version=1 -encoding//serpent/config.py=utf-8 -encoding//serpent/imap/mailbox.py=utf-8 -encoding//serpent/misc.py=utf-8 -encoding//serpent/queue.py=utf-8 -encoding/main.py=utf-8