juan
|
88e753ee4c
|
remove retab format
|
2022-04-17 20:57:18 +08:00 |
|
juan
|
2870de965f
|
remove unneeded kap mappings and remove cursorline
|
2021-11-11 11:35:17 +08:00 |
|
juan
|
2b56227858
|
add cursorline
|
2021-11-11 10:46:45 +08:00 |
|
juan
|
b9f4d3efda
|
update neoformat and indent-blankline
|
2021-10-25 10:53:37 +08:00 |
|
juan
|
892f76f591
|
modify gitignore, keybinds shade config
|
2021-09-15 15:40:34 +08:00 |
|
juan
|
bff6f5e613
|
update blankline and formatter.
|
2021-09-14 19:58:30 +08:00 |
|
juan
|
781e666443
|
LSP and coq now play nicely
|
2021-09-08 19:57:41 +08:00 |
|
juan
|
ea148c695e
|
Add everything and LSP doesn work.
|
2021-09-07 23:26:21 +08:00 |
|
