Remove unused open
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
parent
655c10164d
commit
14030a8ad5
|
@ -1,5 +1,4 @@
|
||||||
open Import
|
open Import
|
||||||
(* open Dune_env.Stanza *)
|
|
||||||
open Jbuild
|
open Jbuild
|
||||||
|
|
||||||
module A = Action
|
module A = Action
|
||||||
|
|
Loading…
Reference in New Issue