diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2024-05-27 08:22:34 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2024-05-27 08:22:34 +0200 |
commit | bb84f163b352a4783945bed92378318dc95b2309 (patch) | |
tree | 7e6d4db2d38a1c4c5fd26a1b904886078ab0fff9 | |
parent | cddbeabf20026c142b285fe8e48a90e65feb6762 (diff) |
Change ##HEAD to #HEAD for build2 project repositories in repositories.manifest
-rw-r--r-- | repositories.manifest | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/repositories.manifest b/repositories.manifest index 848e997..c6cb18a 100644 --- a/repositories.manifest +++ b/repositories.manifest @@ -3,8 +3,8 @@ summary: extra build2 package management utilities : role: prerequisite -location: ../bpkg.git##HEAD +location: ../bpkg.git#HEAD : role: prerequisite -location: ../libbutl.bash.git##HEAD +location: ../libbutl.bash.git#HEAD |