diff options
| author | Thomas Ulmer <thomasmulmer02@gmail.com> | 2025-07-03 09:59:03 -0700 |
|---|---|---|
| committer | Thomas Ulmer <thomasmulmer02@gmail.com> | 2025-07-03 09:59:03 -0700 |
| commit | 5a7627eccaea6389def66a5e87a36664ff43986f (patch) | |
| tree | 02b48f61e6c95963ba259acb90f77b292703779e /.gitignore | |
| parent | e4e2c29e3e458399ca8a1705e1115272fa703cd8 (diff) | |
ocaml config and some other small fixes
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions