pingu/Heated-Gaming
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
main
Heated-Gaming/.gitignore
pingu 8bd3e255a0 Initial commit
2026-02-07 20:49:50 +00:00

5 lines
32 B
Plaintext
Raw Permalink Blame History

# ---> Agda
*.agdai
MAlonzo/**
Reference in New Issue View Git Blame Copy Permalink