From b44e7bbd526d32c30decafccdb255ecea55d6d5e Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Mon, 27 May 2024 08:22:34 +0200
Subject: Change ##HEAD to #HEAD for build2 project repositories in
 repositories.manifest

---
 repositories.manifest | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.1