diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2025-01-11 06:40:30 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2025-01-22 12:22:26 +0100 |
| commit | 820a7bda25c5541ce9580f99ec9f6eb512103e59 (patch) | |
| tree | 8aec624cff21303fac4afe137ecb52c17c5d5329 /lib/configuration/dune | |
| parent | 986bcb796d8b9e1f485baa8da599aa816c56b587 (diff) | |
Removed the json configuration management
Diffstat (limited to 'lib/configuration/dune')
| -rwxr-xr-x | lib/configuration/dune | 3 |
1 files changed, 1 insertions, 2 deletions
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
|