Commit Graph

8 Commits

Author SHA1 Message Date
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