patrick/agdaproofs
1
0
Fork 0
mirror of https://github.com/Smaug123/agdaproofs synced 2025-10-14 16:08:39 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
agdaproofs/.gitignore
Smaug123 7f4ed2ec7e Bump up to 2.6.2
2021-10-31 18:19:15 +00:00

5 lines
29 B
Plaintext
Raw Permalink Blame History

*.agdai
.#*
.pijul
.DS_Store
Reference in New Issue View Git Blame Copy Permalink