Skip to content

Commit

Permalink
makef mt
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
  • Loading branch information
rgrinberg committed Aug 28, 2020
1 parent ac7da35 commit 7c98a30
Showing 1 changed file with 6 additions and 6 deletions.
12 changes: 6 additions & 6 deletions src/dune_rules/dune_file.mli
Original file line number Diff line number Diff line change
Expand Up @@ -334,13 +334,13 @@ end
[old_name] to a [new_public_name].
This is used in two cases:
- When a library changes its public name, a redirection is created for backwards
compatibility with the code using its old name. (deprecated_library_name stanza in
dune files)
- When hiding public libraries with [--only-packages] (or [-p]), we use this stanza
to make sure that their project-local names remain in scope.
*)
- When a library changes its public name, a redirection is created for
backwards compatibility with the code using its old name.
(deprecated_library_name stanza in dune files)
- When hiding public libraries with [--only-packages] (or [-p]), we use this
stanza to make sure that their project-local names remain in scope. *)
module Library_redirect : sig
type 'old_name t =
{ project : Dune_project.t
Expand Down

0 comments on commit 7c98a30

Please sign in to comment.