104 Commits

Author	SHA1	Message	Date
juan	0c32b4612a	add nvim-comment	2021-09-08 20:54:53 +08:00
juan	aec18442a6	add git signs and telescope, disable opt	2021-09-08 20:40:18 +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