diff options
| author | Matthias Sohn <matthias.sohn@sap.com> | 2022-02-22 01:20:07 +0100 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2022-03-02 19:28:14 +0100 |
| commit | 9244c07d73968f668e7579a6c8ff626982229b3f (patch) | |
| tree | d9716cfe0eda665232c01ef41a5744df815e8eb7 /org.eclipse.jgit/resources | |
| parent | 9284ed5db736b4d974e0e4bf781e4001c7c415e7 (diff) | |
| download | jgit-9244c07d73968f668e7579a6c8ff626982229b3f.tar.gz jgit-9244c07d73968f668e7579a6c8ff626982229b3f.zip | |
Add a typed config getter for integers confined to a range
Use Integer#MIN_VALUE to denote unset option.
Change-Id: I4d65f2434013111f25520c0ed2b9a9dc8123c6cf
Diffstat (limited to 'org.eclipse.jgit/resources')
| -rw-r--r-- | org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties b/org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties index 31579c98ad..6e0d8f5627 100644 --- a/org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties +++ b/org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties @@ -354,6 +354,8 @@ initFailedNonBareRepoSameDirs=When initializing a non-bare repo with directory { inMemoryBufferLimitExceeded=In-memory buffer limit exceeded inputDidntMatchLength=Input did not match supplied length. {0} bytes are missing. inputStreamMustSupportMark=InputStream must support mark() +integerValueNotInRange=Integer value {0}.{1} = {2} not in range {3}..{4} +integerValueNotInRangeSubSection=Integer value {0}.{1}.{2} = {3} not in range {4}..{5} integerValueOutOfRange=Integer value {0}.{1} out of range internalRevisionError=internal revision error internalServerError=internal server error |