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 --- bin/dune | 2 -- 1 file changed, 2 deletions(-) (limited to 'bin/dune') diff --git a/bin/dune b/bin/dune index fad168d..f28f22b 100755 --- a/bin/dune +++ b/bin/dune @@ -13,7 +13,6 @@ lwt lwt.unix otoml - yojson tools helpers importConf @@ -27,7 +26,6 @@ importSQL ) (link_flags (:standard)) -(preprocess (pps ppx_yojson_conv)) ) (install -- cgit v1.2.3