diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2024-05-27 08:22:35 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2024-05-27 08:22:35 +0200 |
commit | be486e72ee88a5b20971c7036a793bfe3a8cf79b (patch) | |
tree | ca14618453d9aa8e7ca91cfafbd57535a7e38f0c | |
parent | 1f8168972e9c9d7c5d70539745834947410053ed (diff) |
Change ##HEAD to #HEAD for build2 project repositories in repositories.manifest
-rw-r--r-- | repositories.manifest | 4 |
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 |