Merge pull request #1 from github/master

Update from upstream repo github/linguist
This commit is contained in:
osorgin
2016-07-12 16:14:26 +03:00
committed by GitHub

View File

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