Delete org.eclipse.jdt.ui.prefs

2014-11-15 13:07:42 -05:00 · 2014-11-15 13:07:42 -05:00 · c61de2766d
parent eb27b03721
commit c61de2766d
1 changed files with 0 additions and 7 deletions
--- a/ProtocolLib/.settings/org.eclipse.jdt.ui.prefs
+++ b/ProtocolLib/.settings/org.eclipse.jdt.ui.prefs
@ -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