From e76fe13a95bdd9be4cc5e7e773557d3ed3651310 Mon Sep 17 00:00:00 2001 From: oharboe Date: Wed, 15 Jul 2009 06:43:28 +0000 Subject: [PATCH] retire Eclipse settings, charset will be set elsewhere. git-svn-id: svn://svn.berlios.de/openocd/trunk@2528 b42882b7-edfa-0310-969c-e2dbd0fdcd60 --- .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 1730c232..00000000 --- a/.settings/org.eclipse.core.resources.prefs +++ /dev/null @@ -1,3 +0,0 @@ -#Tue Jul 14 20:27:34 CEST 2009 -eclipse.preferences.version=1 -encoding/=Cp1252 -- 2.39.5