From cc29df7ca16b6484981b19acfa695f9e18952289 Mon Sep 17 00:00:00 2001 From: inpos Date: Thu, 26 May 2016 09:53:27 +0400 Subject: [PATCH] Delete org.eclipse.core.resources.prefs --- .settings/org.eclipse.core.resources.prefs | 6 ------ 1 file changed, 6 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 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