]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1052678) | patch
Partially revert c0ad77d8 "Enhance Eclipse save actions" 10/103910/1
authorMatthias Sohn <matthias.sohn@sap.com>
Wed, 30 Aug 2017 01:07:18 +0000 (03:07 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Wed, 30 Aug 2017 01:07:18 +0000 (03:07 +0200)
commit41baa7a791534daac878fbcb78cf46422940e88e
treee7d893626a82abdc0147dd10d8130e45d9759732tree | snapshot
parent1052678372e075ddf10876ef4e42ce758cd8372fcommit | diff
Partially revert c0ad77d8 "Enhance Eclipse save actions"

Do not automatically organize imports using a save action since this
seems to be buggy and removed some annotations org.eclipse.jgit.pgm
needs to use args4j.

Change-Id: I5a91292c3b9241ce2dde3e4ecce14ad460097129
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
17 files changed:
org.eclipse.jgit.ant.test/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit.ant/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit.archive/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit.http.apache/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit.http.server/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit.http.test/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit.junit.http/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit.junit/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit.lfs.server.test/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit.lfs.server/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit.lfs.test/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit.lfs/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit.pgm.test/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit.pgm/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit.test/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit.ui/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
org.eclipse.jgit/.settings/org.eclipse.jdt.ui.prefs diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit