From 4478fa105477ce6571bcf6f4271c0c1b4ff40e00 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Tue, 23 Jun 2026 21:36:19 +0200 Subject: Updated the way to get the git commit --- dune-project | 2 -- 1 file changed, 2 deletions(-) (limited to 'dune-project') diff --git a/dune-project b/dune-project index 1c1d66a..119f947 100755 --- a/dune-project +++ b/dune-project @@ -43,8 +43,6 @@ (>= 2.4)) (decoders (>= 1.0.0)) - (ounit - (>= 2.2.6)) (otoml (>= 1.0.1)) (re -- cgit v1.2.3