diff options
| -rw-r--r-- | doc/server_configurations.md | 1 | ||||
| -rw-r--r-- | doc/server_configurations.txt | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/doc/server_configurations.md b/doc/server_configurations.md index b9476511..cedb421d 100644 --- a/doc/server_configurations.md +++ b/doc/server_configurations.md @@ -7,7 +7,6 @@ autogenerated from the Lua files. You can view this file in Nvim by running - [agda_ls](#agda_ls) - [aiken](#aiken) -- [als](#als) - [anakin_language_server](#anakin_language_server) - [angularls](#angularls) - [ansiblels](#ansiblels) diff --git a/doc/server_configurations.txt b/doc/server_configurations.txt index b9476511..cedb421d 100644 --- a/doc/server_configurations.txt +++ b/doc/server_configurations.txt @@ -7,7 +7,6 @@ autogenerated from the Lua files. You can view this file in Nvim by running - [agda_ls](#agda_ls) - [aiken](#aiken) -- [als](#als) - [anakin_language_server](#anakin_language_server) - [angularls](#angularls) - [ansiblels](#ansiblels) |