Skip to content

Commit

Permalink
Fix tool name in generated dune file
Browse files Browse the repository at this point in the history
It used to refer to "duniverse"
  • Loading branch information
emillon committed Oct 14, 2021
1 parent be21fbe commit d51fea3
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 3 deletions.
3 changes: 3 additions & 0 deletions CHANGES.md
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,9 @@

### Fixed

- Fix tool name in generated dune file so that it does not refer to the tool as
`duniverse` (#206, @emillon)

### Removed

### Security
Expand Down
6 changes: 3 additions & 3 deletions lib/dune_file.ml
Original file line number Diff line number Diff line change
Expand Up @@ -88,10 +88,10 @@ module Raw = struct

let duniverse_dune_content =
[
comment "This file is generated by duniverse.";
comment "This file is generated by opam-monorepo.";
comment
"Be aware that it is likely to be overwritten by your next duniverse \
pull invocation.";
"Be aware that it is likely to be overwritten by your next opam \
monorepo pull invocation.";
"";
vendored_dirs "*";
]
Expand Down

0 comments on commit d51fea3

Please sign in to comment.