diff options
author | David Pursehouse <david.pursehouse@gmail.com> | 2019-09-06 10:04:42 +0900 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2019-09-07 01:19:06 +0200 |
commit | 689474248c2e5f1897edc589636c8bf98c11b2c7 (patch) | |
tree | dbca5274eb181ad33b32ae48e8d396c177e9aa16 /org.eclipse.jgit/resources/org | |
parent | eb1c18565ce822ca1e03c9388209726d06fde6d4 (diff) | |
download | jgit-689474248c2e5f1897edc589636c8bf98c11b2c7.tar.gz jgit-689474248c2e5f1897edc589636c8bf98c11b2c7.zip |
RepoText: Remove unused externalized string
Change-Id: Ida47637f54afdb76513be9b04aae32107567d4e3
Signed-off-by: David Pursehouse <david.pursehouse@gmail.com>
Diffstat (limited to 'org.eclipse.jgit/resources/org')
-rw-r--r-- | org.eclipse.jgit/resources/org/eclipse/jgit/gitrepo/internal/RepoText.properties | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/org.eclipse.jgit/resources/org/eclipse/jgit/gitrepo/internal/RepoText.properties b/org.eclipse.jgit/resources/org/eclipse/jgit/gitrepo/internal/RepoText.properties index e942038a3d..64805109ea 100644 --- a/org.eclipse.jgit/resources/org/eclipse/jgit/gitrepo/internal/RepoText.properties +++ b/org.eclipse.jgit/resources/org/eclipse/jgit/gitrepo/internal/RepoText.properties @@ -1,4 +1,3 @@ -copyFileFailed=Error occurred during execution of copyfile rule. errorIncludeFile=Error: unable to read include file {0} errorIncludeNotImplemented=Error: <include> tag not supported as no callback defined. errorNoDefault=Error: no default remote in manifest file. |