From 57de10d8728f51942f676b68f1f3ea29d9b78e6e Mon Sep 17 00:00:00 2001 From: Malte Voos Date: Sun, 30 Jun 2024 21:35:18 +0200 Subject: remove useless dependency --- dune-project | 1 - 1 file changed, 1 deletion(-) (limited to 'dune-project') diff --git a/dune-project b/dune-project index f3993f2..1e44e5d 100644 --- a/dune-project +++ b/dune-project @@ -19,7 +19,6 @@ ocaml dune menhir - ppx_deriving algaeff asai bwd -- cgit 1.4.1