aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2024-05-27 08:22:35 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2024-05-27 08:22:35 +0200
commitbe486e72ee88a5b20971c7036a793bfe3a8cf79b (patch)
treeca14618453d9aa8e7ca91cfafbd57535a7e38f0c
parent1f8168972e9c9d7c5d70539745834947410053ed (diff)
Change ##HEAD to #HEAD for build2 project repositories in repositories.manifest
-rw-r--r--repositories.manifest4
1 files changed, 2 insertions, 2 deletions
diff --git a/repositories.manifest b/repositories.manifest
index b10bd68..3a28818 100644
--- a/repositories.manifest
+++ b/repositories.manifest
@@ -3,8 +3,8 @@ summary: build2 build bot repository
:
role: prerequisite
-location: ../libbutl.git##HEAD
+location: ../libbutl.git#HEAD
:
role: prerequisite
-location: ../libbbot.git##HEAD
+location: ../libbbot.git#HEAD