retire Eclipse settings, charset will be set elsewhere.
authoroharboe <oharboe@b42882b7-edfa-0310-969c-e2dbd0fdcd60>
Wed, 15 Jul 2009 06:43:28 +0000 (06:43 +0000)
committeroharboe <oharboe@b42882b7-edfa-0310-969c-e2dbd0fdcd60>
Wed, 15 Jul 2009 06:43:28 +0000 (06:43 +0000)
git-svn-id: svn://svn.berlios.de/openocd/trunk@2528 b42882b7-edfa-0310-969c-e2dbd0fdcd60

.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 1730c23..0000000
+++ /dev/null
@@ -1,3 +0,0 @@
-#Tue Jul 14 20:27:34 CEST 2009\r
-eclipse.preferences.version=1\r
-encoding/<project>=Cp1252\r