From eda4194139ad64077e9791987cf5ee9b7aa743cb Mon Sep 17 00:00:00 2001 From: Benoit Lamarche Date: Mon, 24 Mar 2014 11:27:10 +0100 Subject: Remove bad Eclipse projects Change-Id: I0d33df3e2da8b8364a369ec83e5e895f14d50e8a --- junit4/.settings/org.eclipse.jdt.ui.prefs | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 junit4/.settings/org.eclipse.jdt.ui.prefs (limited to 'junit4/.settings/org.eclipse.jdt.ui.prefs') diff --git a/junit4/.settings/org.eclipse.jdt.ui.prefs b/junit4/.settings/org.eclipse.jdt.ui.prefs deleted file mode 100644 index dd34e34..0000000 --- a/junit4/.settings/org.eclipse.jdt.ui.prefs +++ /dev/null @@ -1,13 +0,0 @@ -#Tue Jul 22 09:31:38 PDT 2008 -eclipse.preferences.version=1 -formatter_profile=_junit -formatter_settings_version=11 -internal.default.compliance=default -org.eclipse.jdt.ui.exception.name=e -org.eclipse.jdt.ui.gettersetter.use.is=true -org.eclipse.jdt.ui.ignorelowercasenames=true -org.eclipse.jdt.ui.importorder=java;javax;com; -org.eclipse.jdt.ui.keywordthis=false -org.eclipse.jdt.ui.ondemandthreshold=99 -org.eclipse.jdt.ui.overrideannotation=true -org.eclipse.jdt.ui.text.custom_code_templates= -- cgit v1.1