diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2025-03-16 10:45:12 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2025-03-16 10:45:12 +0100 |
| commit | 7bfbb67d83011f3e1845dcb9e44c3b6a5e93a9da (patch) | |
| tree | cfe51da029786143134c8a21f803566ef00788ea | |
| parent | 54cff645221d91f993e6e766e1827075bf194a44 (diff) | |
Switched to implicit_transivive_deps to false
| -rwxr-xr-x | dune-project | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dune-project b/dune-project index 3ba9568..592ff77 100755 --- a/dune-project +++ b/dune-project @@ -2,7 +2,7 @@ (using menhir 2.0) (generate_opam_files true) -(implicit_transitive_deps true) +(implicit_transitive_deps false) (authors "Sébastien Dailly") (maintainers "Sébastien Dailly") |