Commit Graph

2 Commits

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