diff options
| -rw-r--r-- | etc/repos.json | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/repos.json b/etc/repos.json index 91f0f398..dd196fd2 100644 --- a/etc/repos.json +++ b/etc/repos.json @@ -59,6 +59,7 @@ , "com_github_cares_cares" , "com_github_grpc_grpc" , "com_github_libgit2_libgit2" + , "com_github_curl_curl" , "com_github_libarchive_libarchive" , "lzma" , "bzip2" @@ -455,7 +456,6 @@ , "ssl": "ssl" , "cares": "com_github_cares_cares" } - , "bootstrap": {"drop": true} } , "com_github_libarchive_libarchive": { "repository": |