From c148ecfd9bf9609151e398f958a32b8a9bfa5367 Mon Sep 17 00:00:00 2001
From: Lars Brinkhoff <lars@nocrew.org>
Date: Mon, 11 Jul 2016 14:43:32 +0200
Subject: [PATCH] Remove Lean grammar; deleted in upstream.

---
 lib/linguist/languages.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml
index d3cef7c1..fcf6becf 100755
--- a/lib/linguist/languages.yml
+++ b/lib/linguist/languages.yml
@@ -1952,7 +1952,7 @@ Lean:
   extensions:
   - .lean
   - .hlean
-  ace_mode: lean
+  ace_mode: text
 
 Less:
   type: markup