lqs/gitea
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
dbbdf9728a
gitea/gitea-main/options/gitignore/Agda
QunSheng Lin 58da96ae3e 20250304
2025-03-04 11:20:45 +00:00

3 lines
19 B
Plaintext
Raw Blame History

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