| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | refactor: rename "server_configurations" => "configs" #3330 | Justin M. Keyes | 2024-10-01 | 1 | -48/+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-l2 | 2022-10-09 | 1 | -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 | ||||
| * | feat: add support for additional packs (#2158) | Alvaro Muñoz | 2022-10-02 | 1 | -6/+8 |
| | | |||||
| * | fix(codeqlls): remove single_file_support (#1577) | William Boman | 2021-12-16 | 1 | -1/+0 |
| | | | | | * codeqlls crashes with a null-pointer exception if NULL is passed as root directory * disable single file support | ||||
| * | chore: clean up imports | Michael Lingelbach | 2021-11-25 | 1 | -1/+1 |
| | | |||||
| * | feat: expose configs | Michael Lingelbach | 2021-11-25 | 1 | -0/+47 |
