aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2024-05-27 08:22:34 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2024-05-27 08:22:34 +0200
commitb44e7bbd526d32c30decafccdb255ecea55d6d5e (patch)
treeee27bbe8ac3ed481b3ac712849b379c156a8e696
parentf05570bc9882841ff59e74623f401a3c2dc786a0 (diff)
Change ##HEAD to #HEAD for build2 project repositories in repositories.manifest
-rw-r--r--repositories.manifest2
1 files changed, 1 insertions, 1 deletions
diff --git a/repositories.manifest b/repositories.manifest
index 8f3604c..ab690c6 100644
--- a/repositories.manifest
+++ b/repositories.manifest
@@ -3,4 +3,4 @@ summary: extra build2 project management utilities
:
role: prerequisite
-location: ../libbutl.bash.git##HEAD
+location: ../libbutl.bash.git#HEAD