diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2024-05-27 08:22:34 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2024-05-27 08:22:34 +0200 |
commit | d74471185ff10ee952653392755c7e5fd3456894 (patch) | |
tree | 69de538e7f9daea9c4c4ab2704daff3518627a90 /repositories.manifest | |
parent | 6210998bf6bdb969c707ac475699ca16bbf096a4 (diff) |
Change ##HEAD to #HEAD for build2 project repositories in repositories.manifest
Diffstat (limited to 'repositories.manifest')
-rw-r--r-- | repositories.manifest | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/repositories.manifest b/repositories.manifest index 6603e9c..16befe8 100644 --- a/repositories.manifest +++ b/repositories.manifest @@ -3,4 +3,4 @@ summary: build2 utility library for bash repository : role: prerequisite -location: ../libbutl.git##HEAD +location: ../libbutl.git#HEAD |