diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2020-09-04 22:37:05 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2020-09-04 22:37:05 +0300 |
commit | 775d89ebb025a2aa061c43936342723cd257ab19 (patch) | |
tree | a84adf638171e1ad3ec0b2da20311d84861ccdc8 | |
parent | 09702fc27c673066c87193879d2fdbc19ab9b33f (diff) |
CIci
-rw-r--r-- | repositories.manifest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/repositories.manifest b/repositories.manifest index b407f30..6ae02a8 100644 --- a/repositories.manifest +++ b/repositories.manifest @@ -3,4 +3,4 @@ summary: build2 package dependency manager library repository : role: prerequisite -location: ../libbutl.git##HEAD +location: ../libbutl.git#verify-ipv6 |