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 /dune-project | |
| parent | 986bcb796d8b9e1f485baa8da599aa816c56b587 (diff) | |
Removed the json configuration management
Diffstat (limited to 'dune-project')
| -rwxr-xr-x | dune-project | 1 |
1 files changed, 0 insertions, 1 deletions
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)) |