This website requires JavaScript.
Explore
Help
Register
Sign In
nova
/
nvde
Watch
1
Star
0
Fork
0
You've already forked nvde
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
516fe4a063
nvde
/
lua
/
config
History
nova
95a377929a
lsp integration with coq
2024-01-29 23:25:41 +01:00
..
bindings.lua
dvorak
2024-01-28 22:20:37 +01:00
coq.lua
lsp integration with coq
2024-01-29 23:25:41 +01:00
winsep.lua
switch to luasnip, added better snipplets
2023-09-25 23:44:59 +02:00