summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorGustaf Rydholm <gustaf.rydholm@gmail.com>2023-07-12 23:35:29 +0200
committerGustaf Rydholm <gustaf.rydholm@gmail.com>2023-07-12 23:35:29 +0200
commitc193d5d958a88e66783b994f9378de83f7f532f3 (patch)
tree23eca5e532c77c28b2e15d598b1171b36ca3a308 /.gitignore
parente968bd520090cd770c19f7fb8712cf0c2db1148a (diff)
Add ocaml formatter
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions