index
:
nvim-lspconfig
ci
dependabot/github_actions/JohnnyMorganz/stylua-action-5
dependabot/github_actions/actions/checkout-7
dependabot/github_actions/leafo/gh-actions-lua-13
docs
master
zeertzjq-patch-1
[no description]
git mirrorbot
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
lsp
/
dafny.lua
Commit message (
Expand
)
Author
Age
Files
Lines
*
docs: cleanup
Justin M. Keyes
2025-04-18
1
-1
/
+1
*
feat: migrate to vim.lsp.config #3659
Lorenzo Bellina
2025-04-12
1
-0
/
+13