juan
|
1f5e687a60
|
Huge update. various bug fixes
|
2022-04-03 23:22:30 +08:00 |
|
juan
|
ae91bba3cf
|
minor coq changes and add keybind for gitsigns
|
2021-11-01 19:29:14 +08:00 |
|
juan
|
223357b591
|
various color change, remove dap
|
2021-10-25 12:10:08 +08:00 |
|
juan
|
c436ad984f
|
update coq and autopairs settings
|
2021-09-26 11:43:07 +08:00 |
|
juan
|
d15fd20333
|
silent coq startup, base16 color update.
|
2021-09-14 20:41:42 +08:00 |
|
juan
|
196f60f638
|
TabNine now works properly with the commit
|
2021-09-14 20:32:11 +08:00 |
|
juan
|
781e666443
|
LSP and coq now play nicely
|
2021-09-08 19:57:41 +08:00 |
|
