diff options
| -rw-r--r-- | vernac/.ocamlformat-enable | 1 |
1 files changed, 0 insertions, 1 deletions
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 |