 Vivianne
|
4f62a6e53f
|
some tweaks--overriding gitignore, not my favorite solution but it gets me what I need rn.
|
2022-07-18 13:54:10 -07:00 |
|
Vivianne
|
886ae5363d
|
there we go, coq much more functional now
|
2022-07-03 15:35:02 -07:00 |
|
Vivianne
|
662cf5b04b
|
further tweaks, completion seems broken
|
2022-07-03 15:01:05 -07:00 |
|
Vivianne
|
ecac56d052
|
a bunch more goodies
|
2022-06-24 05:06:02 -07:00 |
|
Vivianne
|
7aead9ddc0
|
updates
|
2022-04-22 13:54:00 -07:00 |
|
Vivianne
|
04d97575a7
|
Suda support for CDC
|
2022-03-09 00:02:50 -08:00 |
|
Vivianne
|
c5f70a427a
|
Some tweaks to get things working better.
|
2022-03-08 01:50:04 -08:00 |
|
Vivianne
|
e4db099eaa
|
Add bbye and update config for neovide.
|
2022-03-08 01:33:07 -08:00 |
|
Vivianne
|
426ae45c32
|
Move some settings over to lua
so they aren't loaded at a bad time
|
2022-03-05 04:00:43 -08:00 |
|
Vivianne
|
5e1d627e2e
|
Dos2unix
|
2022-03-05 03:35:05 -08:00 |
|
Vivianne
|
59de57ca73
|
Working on getting linux version working
- and getting this ready to push.
|
2022-03-04 01:15:30 -08:00 |
|
Vivianne
|
29a1471c0a
|
Add template and cross-platify more stuff
|
2021-10-12 22:58:11 -07:00 |
|
Vivianne
|
723793945b
|
Initial neovim config.
|
2021-10-12 22:54:51 -07:00 |