|
|
7603474dc4
|
Fix nix warnings
|
2023-07-20 10:48:23 -04:00 |
|
|
|
e36e2a78fa
|
better icons for nvim-tree
|
2023-07-19 21:50:11 -04:00 |
|
|
|
b08c6f300f
|
autostart coq use melange
|
2023-07-19 18:58:36 -04:00 |
|
|
|
05de49e70e
|
COQ works now.
Maybe because I removed Mason though? Either way this is good enough
|
2023-07-19 18:23:57 -04:00 |
|
|
|
95ccdf5597
|
Final bits of polish for lsp stuff
|
2023-07-17 16:00:24 -04:00 |
|
|
|
cc355821ab
|
fix nvim-tree keybindings
|
2023-07-16 22:21:45 -04:00 |
|
|
|
390771a87d
|
Fix nvim custom configuration
|
2023-07-16 21:20:15 -04:00 |
|
