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/.settings | |
| 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/.settings')
| -rw-r--r-- | org.eclipse.jgit/.settings/.api_filters | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/org.eclipse.jgit/.settings/.api_filters b/org.eclipse.jgit/.settings/.api_filters index 035ed37c10..cc3ffb24d1 100644 --- a/org.eclipse.jgit/.settings/.api_filters +++ b/org.eclipse.jgit/.settings/.api_filters @@ -1,6 +1,12 @@ <?xml version="1.0" encoding="UTF-8" standalone="no"?> <component id="org.eclipse.jgit" version="2"> <resource path="src/org/eclipse/jgit/lib/ConfigConstants.java" type="org.eclipse.jgit.lib.ConfigConstants"> + <filter id="338755678"> + <message_arguments> + <message_argument value="org.eclipse.jgit.lib.ConfigConstants"/> + <message_argument value="CONFIG_REFSTORAGE_REFTREE"/> + </message_arguments> + </filter> <filter id="1141899266"> <message_arguments> <message_argument value="5.9"/> |