Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'master/print.html')
| -rw-r--r-- | master/print.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/master/print.html b/master/print.html index 1f00fab3..4b697d67 100644 --- a/master/print.html +++ b/master/print.html @@ -1806,7 +1806,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> |