diff options
Diffstat (limited to '2024/OCaml/.gitignore')
| -rw-r--r-- | 2024/OCaml/.gitignore | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/2024/OCaml/.gitignore b/2024/OCaml/.gitignore index a251688..a18e084 100644 --- a/2024/OCaml/.gitignore +++ b/2024/OCaml/.gitignore @@ -27,6 +27,3 @@ setup.log # Local OPAM switch _opam/ - -.env -.direnv |