earl-warren/test01
2
0
Fork 0
Code Issues 5 Pull requests 2 Projects Releases 1 Packages Wiki Activity
test01/.gitignore

5 lines
36 B
Text
Raw Normal View History

Initial commit
2024-02-15 18:14:44 +00:00
# ---> Agda
*.agdai
MAlonzo/**
Update .gitignore
2024-05-14 10:49:54 +00:00
asdf
Reference in a new issue Copy permalink