3 Commits

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