remove .ocamlformat files

Deducteam · May 2, 2024 · e345ce7 · e345ce7
1 parent df6f7bc
commit e345ce7
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 21 deletions.
diff --git a/.ocamlformat b/.ocamlformat
diff --git a/src/lplib/.ocamlformat b/src/lplib/.ocamlformat
diff --git a/tests/regressions/.ocamlformat b/tests/regressions/.ocamlformat