docs/gitignore
docs/gitignore
1
0
Fork 0
mirror of https://github.com/github/gitignore synced 2024-06-17 18:09:56 +02:00
Code Issues Releases Wiki Activity
4d00a13545
gitignore/Github-Officials/Agda.gitignore
Jean-Michel Girard 4d00a13545
Moved files from fork
2023-04-30 04:33:58 -04:00

3 lines
19 B
Plaintext
Raw Blame History

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