diff options
| author | Gustaf Rydholm <gustaf.rydholm@gmail.com> | 2023-07-12 23:35:29 +0200 |
|---|---|---|
| committer | Gustaf Rydholm <gustaf.rydholm@gmail.com> | 2023-07-12 23:35:29 +0200 |
| commit | c193d5d958a88e66783b994f9378de83f7f532f3 (patch) | |
| tree | 23eca5e532c77c28b2e15d598b1171b36ca3a308 /.gitignore | |
| parent | e968bd520090cd770c19f7fb8712cf0c2db1148a (diff) | |
Add ocaml formatter
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions