From cc783c157f31e7e713c8b83be67449b1859dac27 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Wed, 20 Dec 2023 20:43:25 -0600 Subject: Initial commit --- .ocamlformat | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 .ocamlformat (limited to '.ocamlformat') diff --git a/.ocamlformat b/.ocamlformat new file mode 100644 index 0000000..3998b54 --- /dev/null +++ b/.ocamlformat @@ -0,0 +1,2 @@ +profile = janestreet +parse-docstrings = true -- cgit v1.2.3