6 Commits

Author	SHA1	Message	Date
Ryan	9140244aa2	Docs update	2023-10-31 14:25:33 +08:00
juan	ce1e687737	add gitignore and remove cow in coq	2021-09-24 23:22:16 +08:00
juan	7ce7a710c2	remove gitignore	2021-09-21 19:36:27 +08:00
juan	2b541bdcb4	remove test scripts since its stable now	2021-09-21 11:56:18 +08:00
juan	892f76f591	modify gitignore, keybinds shade config	2021-09-15 15:40:34 +08:00
juan	44eda22d9b	coq now works properly.	2021-09-14 19:31:14 +08:00