earl-warren/test01
2
0
Fork 0
Code Issues 5 Pull requests 2 Actions Packages Projects Releases 1 Wiki Activity
test01/.gitignore
earl-warren cbe6e4a58e Initial commit
2024-02-15 18:14:44 +00:00

5 lines
32 B
Text
Raw Permalink Blame History

# ---> Agda
*.agdai
MAlonzo/**
Reference in a new issue View git blame Copy permalink