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 | b44e7bbd526d32c30decafccdb255ecea55d6d5e (patch) | |
| tree | ee27bbe8ac3ed481b3ac712849b379c156a8e696 | |
| parent | f05570bc9882841ff59e74623f401a3c2dc786a0 (diff) | |
Change ##HEAD to #HEAD for build2 project repositories in repositories.manifest
| -rw-r--r-- | repositories.manifest | 2 |
1 files changed, 1 insertions, 1 deletions
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 |