diff options
Diffstat (limited to '.ocamlformat')
| -rw-r--r-- | .ocamlformat | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.ocamlformat b/.ocamlformat deleted file mode 100644 index df48a53..0000000 --- a/.ocamlformat +++ /dev/null @@ -1 +0,0 @@ -version=0.12 |