diff options
| author | Thomas Meyer <thomas.mey@web.de> | 2015-11-19 23:14:03 +0100 |
|---|---|---|
| committer | Jonathan Nieder <jrn@google.com> | 2015-11-19 17:47:52 -0500 |
| commit | 68cea21f5384e184bb3fc2c33e5d2213721d6bf5 (patch) | |
| tree | 6200810c666f88e13e882d6473264b15116a75b9 /org.eclipse.jgit.pgm/resources | |
| parent | d3e61db455174ce8af70fcc80a19f414881dfea9 (diff) | |
| download | jgit-68cea21f5384e184bb3fc2c33e5d2213721d6bf5.tar.gz jgit-68cea21f5384e184bb3fc2c33e5d2213721d6bf5.zip | |
git rev-parse: Add --verify option
Add the --verify option to be more compatible with git
Change-Id: I225a36ecc4711fd2eb9af67ca8fb79681d94c587
Signed-off-by: Thomas Meyer <thomas.mey@web.de>
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 64afdad51e..aa32478ff0 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 @@ -128,6 +128,7 @@ metaVar_user=USER metaVar_version=VERSION mostCommonlyUsedCommandsAre=The most commonly used commands are: needApprovalToDestroyCurrentRepository=Need approval to destroy current repository +needSingleRevision=Needed a single revision noGitRepositoryConfigured=No Git repository configured. noNamesFound=No names found, cannot describe anything. noSuchFile=no such file: {0} |