This website requires JavaScript.
Explore
Help
Sign In
earl-warren
/
test01
Watch
2
Star
0
Fork
You've already forked test01
0
Code
Issues
5
Pull requests
2
Projects
Releases
1
Packages
Wiki
Activity
earl-warren-patch-4
test01
/
.gitignore
5 lines
36 B
Text
Raw
Permalink
Normal View
History
Unescape
Escape
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