diff options
Diffstat (limited to 'bin')
| -rw-r--r-- | bin/main.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/main.ml b/bin/main.ml index b49a19e..ecc763e 100644 --- a/bin/main.ml +++ b/bin/main.ml @@ -1984,7 +1984,7 @@ let publish_report ~rite ~lang ~sigla ~from_y ~to_y ~out ~overlays ~dtstamp ~pru same reason. Deliberately NOT embedded in [help_text]: the cram test pins help's first line, and a version in it would make every release edit a test expectation for no gain. *) -let version = "1.2.0" +let version = "1.2.1" (* --help is a REMINDER, not a reference. It answers "what are the commands and which flag do I want", in one screen; every rule, format, hazard and |