Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'master/lang-support.html')
| -rw-r--r-- | master/lang-support.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/master/lang-support.html b/master/lang-support.html index 942cac5c..f842e85a 100644 --- a/master/lang-support.html +++ b/master/lang-support.html @@ -316,7 +316,7 @@ Languages</a> guide for more language configuration information.</p> <tr><td>latex</td><td>✓</td><td>✓</td><td></td><td></td><td></td><td><code>texlab</code></td></tr> <tr><td>ld</td><td>✓</td><td></td><td>✓</td><td></td><td></td><td></td></tr> <tr><td>ldif</td><td>✓</td><td></td><td></td><td></td><td></td><td></td></tr> -<tr><td>lean</td><td>✓</td><td></td><td></td><td></td><td></td><td><code>lean</code></td></tr> +<tr><td>lean</td><td>✓</td><td></td><td></td><td></td><td></td><td><code>lake</code></td></tr> <tr><td>ledger</td><td>✓</td><td></td><td></td><td></td><td></td><td></td></tr> <tr><td>llvm</td><td>✓</td><td>✓</td><td>✓</td><td></td><td></td><td></td></tr> <tr><td>llvm-mir</td><td>✓</td><td>✓</td><td>✓</td><td></td><td></td><td></td></tr> |