dvurechensky_pro/Gitignore
dvurechensky_pro/Gitignore
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
bf94d7a0c5
Gitignore/Agda.gitignore
Dvurechensky 0a0f9717b4 1.0 
Main
2024-10-05 10:36:15 +03:00

3 lines
19 B
Plaintext
Raw Blame History

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