From d69b6b5f6a39cd3f4d40a6a7e7d4cc2e33bb8f06 Mon Sep 17 00:00:00 2001 From: Rishikesh Vaishnav Date: Sun, 13 Jun 2021 08:12:38 -0700 Subject: [PATCH] pre-commit --- README.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.rst b/README.rst index 63644a2c..4638166b 100644 --- a/README.rst +++ b/README.rst @@ -8,7 +8,7 @@ lean.nvim Prerequisites ------------- -NOTE: ``lean.nvim`` is incompatible with ``lean.vim``, +NOTE: ``lean.nvim`` is incompatible with ``lean.vim``, as it implements its own kind of filetype detection. If using ``lean.nvim``, you should NOT have ``lean.vim`` installed.