Skip to content

Commit

Permalink
split describe into cmdliner subcommands (#7919)
Browse files Browse the repository at this point in the history
Signed-off-by: Ali Caglayan <alizter@gmail.com>
  • Loading branch information
Alizter committed Jun 12, 2023
1 parent 23b1a88 commit 9ba9901
Show file tree
Hide file tree
Showing 33 changed files with 1,088 additions and 1,078 deletions.
3 changes: 3 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,9 @@ Unreleased
- Allow `(include_subdirs qualified)` to be used when libraries define a
`(modules ...)` field (#7797, fixes #7597, @anmonteiro)

- `$ dune describe` is now a command group, so arguments to subcommands must be
passed after subcommand itself. (#7919, @Alizter)

- The `interface` and `implementation` fields of a `(dialect)` are now optional
(#7757, @gpetiot)

Expand Down
Loading

0 comments on commit 9ba9901

Please sign in to comment.