]> source.dussan.org Git - jgit.git/commit
projects / jgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8e42ca) | patch
CLI: Remove unused externalized strings 06/149006/3
authorDavid Pursehouse <david.pursehouse@gmail.com>
Fri, 6 Sep 2019 00:20:55 +0000 (09:20 +0900)
committerMatthias Sohn <matthias.sohn@sap.com>
Fri, 6 Sep 2019 23:19:06 +0000 (01:19 +0200)
commiteb1c18565ce822ca1e03c9388209726d06fde6d4
tree8b80c99b4cae202158769ab6fd602205682b00eftree | snapshot
parentc8e42ca3ba646afe35e635eb0ebac6c76ddca6cdcommit | diff
CLI: Remove unused externalized strings

Change-Id: Id44117dd72b0e71e9bf0046a3c965eeae64cf3ea
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties diff | blob | history
org.eclipse.jgit.pgm/src/org/eclipse/jgit/pgm/internal/CLIText.java diff | blob | history
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit