aboutsummaryrefslogtreecommitdiffstats
path: root/lua/lspconfig/server_configurations/idris2_lsp.lua
Commit message (Collapse)AuthorAgeFilesLines
* refactor: rename "server_configurations" => "configs" #3330Justin M. Keyes2024-10-011-41/+0
| | | | | | | | | | | | | | Problem: The name `server_configurations` is extremely verbose and irritatingly formal and dogmatic. This overlong name is a constant nuisance when reading, writing, and coding. It's also not even correct: these configurations are just as much "client" configurations as they are "server" configurations. Solution: - Rename to a shorter name. - Leave placeholder files for any old URLs that link to the old location.
* Fix broken links (#2183)equal-l22022-10-091-1/+1
| | | | | | | | | | * fix(idris2_lsp): fix a broken link The package `idris2-api-git` doesn't exist anymore. I confirmed `idris2` also installs idris2api. * fix(volar): specify the commit for URL * fix(codeqlls): fix a broken link
* chore: clean up importsMichael Lingelbach2021-11-251-1/+1
|
* feat: expose configsMichael Lingelbach2021-11-251-0/+41