Don't format template files

AeneasVerif · Nov 22, 2024 · 7a9bef1 · 7a9bef1
1 parent 740b47d
commit 7a9bef1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/charon/src/bin/generate-ml/templates/.ocamlformat-ignore b/charon/src/bin/generate-ml/templates/.ocamlformat-ignore
@@ -0,0 +1 @@
+*.ml