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
commit48be14e3fa54fd51aafe1769c1f9d5fcb16df991 (patch)
treefcfef96f551a3bd86c51aeff45d469aa1bbd86ac
parent5a791d140e3033dbe47301fc324f8282ba182459 (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 3d857bc..25be350 100644
--- a/repositories.manifest
+++ b/repositories.manifest
@@ -3,4 +3,4 @@ summary: build2 build system repository
:
role: prerequisite
-location: ../libbutl.git##HEAD
+location: ../libbutl.git#HEAD