From 820a7bda25c5541ce9580f99ec9f6eb512103e59 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Sat, 11 Jan 2025 06:40:30 +0100 Subject: Removed the json configuration management --- lib/configuration/dune | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'lib/configuration/dune') diff --git a/lib/configuration/dune b/lib/configuration/dune index b08e9bd..c29ba49 100755 --- a/lib/configuration/dune +++ b/lib/configuration/dune @@ -5,7 +5,6 @@ otoml menhirLib importCSV - yojson re helpers importDataTypes @@ -14,7 +13,7 @@ ) (foreign_stubs (language c) (names locale)) -(preprocess (pps ppx_yojson_conv ppx_deriving.ord)) +(preprocess (pps ppx_deriving.ord)) ) (rule -- cgit v1.2.3