diff options
author | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-30 14:17:04 +0200 |
---|---|---|
committer | Klaus Aehlig <klaus.aehlig@huawei.com> | 2023-03-30 15:02:20 +0200 |
commit | 993b322d40f6ed347efb0f24ccaca4be1d70cca4 (patch) | |
tree | 2319a3277570d83f3fc8eee1c60b63f239f9e28e | |
parent | 78340c3d2336c2d5ea5365120a8fbd2319764f58 (diff) | |
download | justbuild-993b322d40f6ed347efb0f24ccaca4be1d70cca4.tar.gz |
libgit2: remove access to patches
... now that we're using the unpatched version (after adding a
work around in our code base).
-rw-r--r-- | etc/repos.json | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/etc/repos.json b/etc/repos.json index 31975cc8..a2ce0aca 100644 --- a/etc/repos.json +++ b/etc/repos.json @@ -394,7 +394,6 @@ { "rules": "rules-git2" , "zlib": "zlib" , "ssl": "ssl" - , "patches": "patches" } , "bootstrap": {"include_dir": "include", "include_name": "."} , "local_bootstrap": {"local_path": "include", "copy": ["git2.h", "git2"]} |