From 5e631e5f63fdc8528d5d178d6a66dfb32a2c0f8b Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Mon, 27 May 2024 08:22:34 +0200 Subject: Change ##HEAD to #HEAD for build2 project repositories in repositories.manifest --- repositories.manifest | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/repositories.manifest b/repositories.manifest index faed09f..e760afd 100644 --- a/repositories.manifest +++ b/repositories.manifest @@ -3,23 +3,23 @@ summary: build2 package repository web interface repository : role: prerequisite -location: ../libbutl.git##HEAD +location: ../libbutl.git#HEAD : role: prerequisite -location: ../libbpkg.git##HEAD +location: ../libbpkg.git#HEAD : role: prerequisite -location: ../libbbot.git##HEAD +location: ../libbbot.git#HEAD : role: prerequisite -location: ../libbutl.bash.git##HEAD +location: ../libbutl.bash.git#HEAD : role: prerequisite -location: ../bpkg-util.git##HEAD +location: ../bpkg-util.git#HEAD : role: prerequisite -- cgit v1.1