aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorClombrong <clombrong@egregore.fun>2025-05-08 19:48:26 +0200
committerClombrong <cromblong@egregore.fun>2025-05-08 19:48:26 +0200
commit1c63d14a5f4d34f439591214b7da308456764cfe (patch)
treec60ba4fd9de8cd8208b51fd18ed46aa1b01326b3 /dune-project
parent19a24b65c0bbb93bad58bf53ed44afe924fe9dff (diff)
fix(tooling): simplify envrc
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions