From 92aa496f431d70c46acaef00d9426c2551bac64e Mon Sep 17 00:00:00 2001 From: Calascibetta Romain Date: Mon, 13 Jan 2025 13:48:47 +0100 Subject: [PATCH] Lint dune-project --- dune-project | 1 + 1 file changed, 1 insertion(+) diff --git a/dune-project b/dune-project index eaf11b9..4afad74 100644 --- a/dune-project +++ b/dune-project @@ -1,2 +1,3 @@ (lang dune 3.5) +(name cachet) (using mode_specific_stubs 0.1)