diff options
author | Benoit Lamarche <benoitlamarche@google.com> | 2014-03-24 11:27:10 +0100 |
---|---|---|
committer | Benoit Lamarche <benoitlamarche@google.com> | 2014-03-24 11:27:10 +0100 |
commit | eda4194139ad64077e9791987cf5ee9b7aa743cb (patch) | |
tree | 26bd69a3b7a13158bae09f4fa67bb3985d067291 /junit4/.settings/org.eclipse.jdt.ui.prefs | |
parent | 4eceb95409e844fdc33c9c706e1dc307bfd40303 (diff) | |
download | toolchain_jack-eda4194139ad64077e9791987cf5ee9b7aa743cb.zip toolchain_jack-eda4194139ad64077e9791987cf5ee9b7aa743cb.tar.gz toolchain_jack-eda4194139ad64077e9791987cf5ee9b7aa743cb.tar.bz2 |
Remove bad Eclipse projects
Change-Id: I0d33df3e2da8b8364a369ec83e5e895f14d50e8a
Diffstat (limited to 'junit4/.settings/org.eclipse.jdt.ui.prefs')
-rw-r--r-- | junit4/.settings/org.eclipse.jdt.ui.prefs | 13 |
1 files changed, 0 insertions, 13 deletions
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=<?xml version\="1.0" encoding\="UTF-8" standalone\="no"?><templates/> |