nova nova
0 Followers · 0 Following
Repositories
5
 Projects Packages Public Activity Starred Repositories
nova pushed to main at nova/nvde 2024-01-29 23:11:19 +00:00
516fe4a063 start of startscreen overhaul
nova pushed to main at nova/nvde 2024-01-29 22:26:07 +00:00
95a377929a lsp integration with coq
nova pushed to main at nova/nvde 2024-01-28 23:08:08 +00:00
37e28c2b11 lsp change to coq
nova pushed to main at nova/nvde 2024-01-28 21:22:30 +00:00
56e9bb7d04 dvorak
nova pushed to main at nova/tern-assembler 2023-12-23 17:22:48 +00:00
3b094f55b8 initial commit
nova created repository nova/tern-assembler 2023-12-23 17:20:03 +00:00
nova pushed to main at nova/nvde 2023-09-25 21:50:15 +00:00
7f9c18536b switch to luasnip, added better snipplets
nova pushed to main at nova/nvde 2023-08-24 21:43:09 +00:00
2f106d659b switch to lazy.nvim and unfinished nvim-tree
nova pushed to main at nova/nvde 2023-08-10 22:31:59 +00:00
04e8731ab6 switch to actual git
4d30d92930 switch to actual git
Compare 2 commits »
nova pushed to main at nova/nvde 2023-07-30 22:52:47 +00:00
433c861ac6 Upload files to ""
nova pushed to main at nova/nvde 2023-07-30 22:52:26 +00:00
f2d81f6fc4 Upload files to "lua"
nova pushed to main at nova/nvde 2023-07-30 22:51:22 +00:00
ade29d52b6 Upload files to "lua/ui"
nova pushed to main at nova/nvde 2023-07-30 22:50:31 +00:00
35cddb2c7c Delete status.lua
nova pushed to main at nova/nvde 2023-07-30 22:50:26 +00:00
eb7551a17f Delete startscreen.lua
nova pushed to main at nova/nvde 2023-07-30 22:50:21 +00:00
78f146cf1a Delete plugins.lua
nova pushed to main at nova/nvde 2023-07-30 22:50:14 +00:00
38fbe0c1cc Delete lsp-config.lua
nova pushed to main at nova/nvde 2023-07-30 22:49:31 +00:00
0f6497d367 Delete init.lua
nova pushed to main at nova/nvde 2023-07-30 22:48:46 +00:00
89ddd6dd90 Delete highlight.lua
nova pushed to main at nova/nvde 2023-07-30 22:48:22 +00:00
e460fbcdc8 Upload files to "lua/config"
nova pushed to main at nova/nvde 2023-07-19 20:27:32 +00:00
403e0deb29 Upload files to ""