diff options
author | Clombrong <clombrong@egregore.fun> | 2025-05-08 19:48:26 +0200 |
---|---|---|
committer | Clombrong <cromblong@egregore.fun> | 2025-05-08 19:48:26 +0200 |
commit | 1c63d14a5f4d34f439591214b7da308456764cfe (patch) | |
tree | c60ba4fd9de8cd8208b51fd18ed46aa1b01326b3 /dune-project | |
parent | 19a24b65c0bbb93bad58bf53ed44afe924fe9dff (diff) |
fix(tooling): simplify envrc
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions