Closed EmileTrotignon closed 7 months ago
This makes cmdliner aware of the sherlodoc version, so that dune can know the installed version.
This makes cmdliner aware of the sherlodoc version, so that dune can know the installed version.