diff --git a/.ocamlformat b/.ocamlformat new file mode 100644 index 0000000..37525ae --- /dev/null +++ b/.ocamlformat @@ -0,0 +1 @@ +profile = default