diff options
| author | DJ O'Leary <dijitol@proton.me> | 2026-06-27 04:28:48 +0200 |
|---|---|---|
| committer | DJ O'Leary <dijitol@proton.me> | 2026-06-27 04:28:48 +0200 |
| commit | bc8b9edc0860f4804dfd0ea868ee7beaa564e62a (patch) | |
| tree | e1123d11627b4829586da3b097015b1dbb3d0285 /2024/ocaml/.envrc | |
| parent | 976048a85403fbb0751c34fa42703a3c47f6e918 (diff) | |
Diffstat (limited to '2024/ocaml/.envrc')
| -rw-r--r-- | 2024/ocaml/.envrc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/2024/ocaml/.envrc b/2024/ocaml/.envrc deleted file mode 100644 index 3550a30..0000000 --- a/2024/ocaml/.envrc +++ /dev/null @@ -1 +0,0 @@ -use flake |