From b96ed4b56a27b72e39cc60268efce73188b66d53 Mon Sep 17 00:00:00 2001
From: James Brooks <james@bluebaytravel.co.uk>
Date: Mon, 11 Jul 2016 12:08:03 +0100
Subject: [PATCH] Switch Lean to text mode

---
 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 15088f99..04011607 100755
--- a/lib/linguist/languages.yml
+++ b/lib/linguist/languages.yml
@@ -1961,7 +1961,7 @@ Lean:
   extensions:
   - .lean
   - .hlean
-  ace_mode: lean
+  ace_mode: text
 
 Less:
   type: markup