diff options
| author | Han-Wen Nienhuys <hanwen@google.com> | 2019-11-17 09:51:14 -0800 |
|---|---|---|
| committer | Matthias Sohn <matthias.sohn@sap.com> | 2020-12-15 02:00:35 +0100 |
| commit | 7386f73bb0a5754f0b1dfc38aae37d68461a8cd8 (patch) | |
| tree | 833db8a47b25a31836f1144bbe32750789072fed /org.eclipse.jgit/resources/org/eclipse/jgit | |
| parent | 8548cb4e51894d5e10a06e82921dd1e1f9c6ea66 (diff) | |
| download | jgit-7386f73bb0a5754f0b1dfc38aae37d68461a8cd8.tar.gz jgit-7386f73bb0a5754f0b1dfc38aae37d68461a8cd8.zip | |
Remove reftree and ketch
This was experimental code and never used in production.
Change-Id: Ia3da7f2b82d9e365cec2ccf9397cbc47439cd150
Signed-off-by: Han-Wen Nienhuys <hanwen@google.com>
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
Diffstat (limited to 'org.eclipse.jgit/resources/org/eclipse/jgit')
| -rw-r--r-- | org.eclipse.jgit/resources/org/eclipse/jgit/internal/ketch/KetchText.properties | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/org.eclipse.jgit/resources/org/eclipse/jgit/internal/ketch/KetchText.properties b/org.eclipse.jgit/resources/org/eclipse/jgit/internal/ketch/KetchText.properties deleted file mode 100644 index 1fbb7cb3b5..0000000000 --- a/org.eclipse.jgit/resources/org/eclipse/jgit/internal/ketch/KetchText.properties +++ /dev/null @@ -1,13 +0,0 @@ -accepted=accepted. -cannotFetchFromLocalReplica=cannot fetch from LocalReplica -failed=failed! -invalidFollowerUri=invalid follower URI -leaderFailedToStore=leader failed to store -localReplicaRequired=LocalReplica instance is required -mismatchedTxnNamespace=mismatched txnNamespace; expected {0} found {1} -outsideTxnNamespace=ref {0} is outside of txnNamespace {1} -proposingUpdates=Proposing updates -queuedProposalFailedToApply=queued proposal failed to apply -starting=starting! -unsupportedVoterCount=unsupported voter count {0}, expected one of {1} -waitingForQueue=Waiting for queue |