git-market/github-gitignore
1
0
Fork 0
mirror of https://github.com/github/gitignore.git synced 2026-04-11 02:01:45 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity
main
github-gitignore/Agda.gitignore

3 lines
22 B
Plaintext
Raw Permalink Blame History

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