Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorRobin Rosenberg2012-11-13 01:31:54 +0000
committerChris Aniszczyk2012-11-16 18:25:45 +0000
commit57333a8e9384dab4edbaf8f47fffa90ac039649b (patch)
treeea05810ceee6bad12905f8a92731f41fb1033622 /org.eclipse.jgit.junit.http/.settings/org.eclipse.jdt.ui.prefs
parenta2e691351f4c5217a908410c1bd796efa6b01023 (diff)
downloadjgit-57333a8e9384dab4edbaf8f47fffa90ac039649b.tar.gz
jgit-57333a8e9384dab4edbaf8f47fffa90ac039649b.tar.xz
jgit-57333a8e9384dab4edbaf8f47fffa90ac039649b.zip
Harmonize the JDT settings within JGit
Note the the settings are slightly less restrictive for test bundles. -Also cleanup a couple of malformed javadocs -Update compiler warnings/errors to include default values from Juno -We now flag diagnosed null dereference as error. We didn't do that earlier because of some false positives. Change-Id: I58386d63164e65d3d8d1998da3390d99bdc7381a Signed-off-by: Chris Aniszczyk <zx@twitter.com>
Diffstat (limited to 'org.eclipse.jgit.junit.http/.settings/org.eclipse.jdt.ui.prefs')
-rw-r--r--org.eclipse.jgit.junit.http/.settings/org.eclipse.jdt.ui.prefs4
1 files changed, 1 insertions, 3 deletions
diff --git a/org.eclipse.jgit.junit.http/.settings/org.eclipse.jdt.ui.prefs b/org.eclipse.jgit.junit.http/.settings/org.eclipse.jdt.ui.prefs
index efb13598c9..c336cce6ed 100644
--- a/org.eclipse.jgit.junit.http/.settings/org.eclipse.jdt.ui.prefs
+++ b/org.eclipse.jgit.junit.http/.settings/org.eclipse.jdt.ui.prefs
@@ -1,9 +1,7 @@
-#Thu Aug 26 12:30:39 CDT 2010
eclipse.preferences.version=1
editor_save_participant_org.eclipse.jdt.ui.postsavelistener.cleanup=true
formatter_profile=_JGit Format
-formatter_settings_version=11
-internal.default.compliance=default
+formatter_settings_version=12
org.eclipse.jdt.ui.ignorelowercasenames=true
org.eclipse.jdt.ui.importorder=java;javax;org;com;
org.eclipse.jdt.ui.ondemandthreshold=99

Back to the top