|
|
7c1e891eeb
|
Tab hotkeys again :-(
|
2023-07-30 15:15:42 -04:00 |
|
|
|
698acd4687
|
datasette and some tab hotkeys
|
2023-07-24 15:42:28 -04:00 |
|
|
|
4f9bd81546
|
Fix omnisharp language server bits
|
2023-07-20 14:09:01 -04:00 |
|
|
|
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 |
|
