tree 44fe0bc3869cf2e60027825d960850a1dcd579fa
parent f293728cb78ff29d85a3490c3a1a722e1bc5b165
author Klaus Aehlig <aehlig@google.com> 1546951740 +0100
committer Klaus Aehlig <aehlig@google.com> 1547108397 +0100

third_party: remove no longer needed jgit

With the removal of the embedded git rules, the jgit library is no
used. Remove it.

Change-Id: I8093f51cf3a4c3ee8db5ba602af65fab0c8f007c