index
:
nvim-lspconfig
master
zeertzjq-patch-1
[no description]
git mirrorbot
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
lua
/
lspconfig
/
server_configurations
/
agda_ls.lua
Commit message (
Expand
)
Author
Age
Files
Lines
*
feat: add agda-language-server (#3100)
Stefano Volpe
2024-04-11
1
-0
/
+17
