From c61de2766d7e36130906f99bc405bb439724d0df Mon Sep 17 00:00:00 2001 From: Dan Mulloy Date: Sat, 15 Nov 2014 13:07:42 -0500 Subject: [PATCH] Delete org.eclipse.jdt.ui.prefs --- ProtocolLib/.settings/org.eclipse.jdt.ui.prefs | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 ProtocolLib/.settings/org.eclipse.jdt.ui.prefs diff --git a/ProtocolLib/.settings/org.eclipse.jdt.ui.prefs b/ProtocolLib/.settings/org.eclipse.jdt.ui.prefs deleted file mode 100644 index b4d00cda..00000000 --- a/ProtocolLib/.settings/org.eclipse.jdt.ui.prefs +++ /dev/null @@ -1,7 +0,0 @@ -eclipse.preferences.version=1 -formatter_profile=_Comphenix -formatter_settings_version=12 -org.eclipse.jdt.ui.exception.name=e -org.eclipse.jdt.ui.gettersetter.use.is=true -org.eclipse.jdt.ui.keywordthis=false -org.eclipse.jdt.ui.overrideannotation=true