diff options
Diffstat (limited to 'lsp/agda_ls.lua')
| -rw-r--r-- | lsp/agda_ls.lua | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lsp/agda_ls.lua b/lsp/agda_ls.lua index 69de5090..a266385c 100644 --- a/lsp/agda_ls.lua +++ b/lsp/agda_ls.lua @@ -2,7 +2,7 @@ local util = require 'lspconfig.util' ---@brief --- ----https://github.com/agda/agda-language-server +-- https://github.com/agda/agda-language-server -- -- Language Server for Agda. return { |