| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | feat: expose configs | Michael Lingelbach | 2021-11-25 | 1 | -48/+0 |
| * | docs: add a direct link to lean.nvim (for leanls and lean3ls) (#1062) | Julian Berman | 2021-07-23 | 1 | -1/+1 |
| * | chore: change stylua to single quotes (#1068) | Michael Lingelbach | 2021-07-13 | 1 | -7/+7 |
| * | ci: lint and format with stylua | Michael Lingelbach | 2021-07-03 | 1 | -19/+19 |
| * | Remove package_json link from metals. | ckipp01 | 2021-01-10 | 1 | -1/+0 |
| * | Remove all installers and install logic | Michael Lingelbach | 2021-01-03 | 1 | -75/+18 |
| * | Rename nvim_lsp to lspconfig | Hirokazu Hata | 2020-09-06 | 1 | -0/+106 |
