diff options
| author | Matthias Sohn <matthias.sohn@sap.com> | 2013-12-20 13:35:59 +0100 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2013-12-27 12:22:47 +0100 |
| commit | 2a50e7065c8696c76641668576c2e1a6428652fd (patch) | |
| tree | 9d39a931949cdf7d404d0a6da1d1dd90bd328c42 /org.eclipse.jgit.pgm/resources | |
| parent | 80be72d2c1133ea30efab30d0c2db161ee83c1b6 (diff) | |
| download | jgit-2a50e7065c8696c76641668576c2e1a6428652fd.tar.gz jgit-2a50e7065c8696c76641668576c2e1a6428652fd.zip | |
[CLI] Add option --millis / -m to debug-show-dir-cache command
This is useful when comparing mtime displayed by
$ jgit debug-show-dir-cache -m
with mtime displayed by
$ git ls-files --debug
or
$ stat "%m"
Change-Id: Id133ebe6f6093a56a6a6645e1c5bb18752fb2fd0
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.jgit.pgm/resources')
| -rw-r--r-- | org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties b/org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties index 1d2a8971f7..ca32479adb 100644 --- a/org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties +++ b/org.eclipse.jgit.pgm/resources/org/eclipse/jgit/pgm/internal/CLIText.properties @@ -317,6 +317,7 @@ usage_showRefNamesMatchingCommits=Show ref names matching commits usage_showPatch=display patch usage_showRefNamesMatchingCommits=Show ref names matching commits usage_showNotes=Add this ref to the list of note branches from which notes are displayed +usage_showTimeInMilliseconds=Show mtime in milliseconds usage_squash=Squash commits as if a real merge happened, but do not make a commit or move the HEAD. usage_srcPrefix=show the source prefix instead of "a/" usage_symbolicVersionForTheProject=Symbolic version for the project |