From 1f5c2d43433ead3cd97df198e7281be8ac78e38b Mon Sep 17 00:00:00 2001 From: Joris Date: Sat, 9 Jan 2021 14:26:06 +0100 Subject: Remove unused files --- .ocamlformat | 1 - 1 file changed, 1 deletion(-) delete mode 100644 .ocamlformat (limited to '.ocamlformat') diff --git a/.ocamlformat b/.ocamlformat deleted file mode 100644 index df48a53..0000000 --- a/.ocamlformat +++ /dev/null @@ -1 +0,0 @@ -version=0.12 -- cgit v1.2.3