git-market/github-gitignore
1
0
Fork 0
mirror of https://github.com/github/gitignore.git synced 2026-04-11 14:11:43 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity
9ffced6030
github-gitignore/Agda.gitignore

3 lines
22 B
Plaintext
Raw Blame History

*.agdai
**/MAlonzo/**
Reference in New Issue View Git Blame Copy Permalink