From 820a7bda25c5541ce9580f99ec9f6eb512103e59 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@dailly.me>
Date: Sat, 11 Jan 2025 06:40:30 +0100
Subject: Removed the json configuration management

---
 dune-project | 1 -
 1 file changed, 1 deletion(-)

(limited to 'dune-project')

diff --git a/dune-project b/dune-project
index ca435e6..11dc9e3 100755
--- a/dune-project
+++ b/dune-project
@@ -15,7 +15,6 @@
    (csv (>= 2.4))
    (csv-lwt (>= 2.4))
    (decoders (>= 1.0.0))
-   (ppx_yojson_conv (>= v0.14.0))
    (ounit (>= 2.2.6))
    (otoml (>= 1.0.1))
    (re (>= 1.10.4))
-- 
cgit v1.2.3