project0604/ - 副本 (4).gitignore

5 lines
32 B
Plaintext

# ---> Agda
*.agdai
MAlonzo/**