diff --git a/.ocamlformat b/.ocamlformat deleted file mode 100644 index c7e7d3a96..000000000 --- a/.ocamlformat +++ /dev/null @@ -1,4 +0,0 @@ -profile = ocamlformat -let-binding-spacing = sparse -margin = 100 -version = 0.9 diff --git a/.ocamlformat b/.ocamlformat new file mode 120000 index 000000000..545fa10eb --- /dev/null +++ b/.ocamlformat @@ -0,0 +1 @@ +infer/src/.ocamlformat \ No newline at end of file diff --git a/infer/src/.ocamlformat b/infer/src/.ocamlformat new file mode 100644 index 000000000..c7e7d3a96 --- /dev/null +++ b/infer/src/.ocamlformat @@ -0,0 +1,4 @@ +profile = ocamlformat +let-binding-spacing = sparse +margin = 100 +version = 0.9