From f41fccaaf30ea4f76edb8204fa5f4022467b6e0c Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 10 Jul 2020 23:29:05 +0200
Subject: Remove automatic formatting of ComHints.

This is about the third time I try to kill this file but for some reason
it is still here.
---
 vernac/.ocamlformat-enable | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 vernac/.ocamlformat-enable

diff --git a/vernac/.ocamlformat-enable b/vernac/.ocamlformat-enable
deleted file mode 100644
index ffaa7e70f4..0000000000
--- a/vernac/.ocamlformat-enable
+++ /dev/null
@@ -1 +0,0 @@
-comHints.ml
-- 
cgit v1.2.3