From 6a9f9a9f3cf547da80df973950489e343143289d Mon Sep 17 00:00:00 2001 From: Joris Date: Thu, 13 May 2021 15:47:38 +0200 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