add ace-mode support for Lean

This commit is contained in:
Soonho Kong
2015-02-24 14:45:15 -05:00
parent 2d15ea54cb
commit c2e894c48c

View File

@@ -1593,7 +1593,7 @@ Lean:
extensions: extensions:
- .lean - .lean
- .hlean - .hlean
ace_mode: text ace_mode: lean
Less: Less:
type: markup type: markup