| Commit message (Collapse) | Author | Age | Files | Lines |
|---|
| |
|
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
| | |
|
| |
|
|
|
|
|
| |
Remove CMD parameters for which the language server provides defaults.
Make docs simpler.
Remove markdown code fences.
Co-authored-by: Matthias Schaub <matthias.schaub@posteo.de>
|
| |
|
|
|
|
| |
Example of how to use the 'cmd' setting is not needed.
Also the name of the language server in this example is wrong.
Co-authored-by: Matthias Schaub <matthias.schaub@posteo.de>
|
|
|
Co-authored-by: Matthias Schaub <matthias.schaub@posteo.de>
|
