]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8669d6d) | patch
Remove duplicate ignore_optional_problems entry in .classpath 07/155207/1
authorMatthias Sohn <matthias.sohn@sap.com>
Sat, 4 Jan 2020 12:10:00 +0000 (13:10 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Sat, 4 Jan 2020 12:10:00 +0000 (13:10 +0100)
commitd422a820860447905027d3f88ee72880036ecfb0
treee32010645caf641651bed69c569d8ce97ff408c3tree | snapshot
parent8669d6df188bf0def1e4afe729aac63f36adc851commit | diff
Remove duplicate ignore_optional_problems entry in .classpath

Change-Id: I326377c90af59ecaada7f5185a638726a8e909b7
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
org.eclipse.jgit.benchmarks/.classpath diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit