diff options
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)) |