| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | refactor: rename "server_configurations" => "configs" #3330 | Justin M. Keyes | 2024-10-01 | 1 | -22/+0 |
| * | fix(dafny): add default cmd for Dafny 4 (#2541) | Tej Chajed | 2023-04-05 | 1 | -5/+7 |
| * | feat: Dafny support (#2193) | Gorgeous-Patrick | 2022-10-24 | 1 | -0/+20 |
 |
index : nvim-lspconfig | |
| [no description] | git mirrorbot |
| aboutsummaryrefslogtreecommitdiffstats |