diff options
| -rw-r--r-- | build2/b.cli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build2/b.cli b/build2/b.cli index 03de044..802a160 100644 --- a/build2/b.cli +++ b/build2/b.cli @@ -387,7 +387,7 @@ namespace build2 class options { - "\h|OPTIONS|" + "\h#options|OPTIONS|" bool -v { |