This website requires JavaScript.
Explore
Help
Sign In
aniva
/
Pantograph
Watch
1
Star
1
Fork
You've already forked Pantograph
0
Code
Issues
9
Pull Requests
3
Packages
Projects
Releases
1
Wiki
Activity
97
Commits
9
Branches
16
Tags
1.3
MiB
v0.2.8
Commit Graph
3 Commits
Author
SHA1
Message
Date
Leni Aniva
1e637dabaa
Bump lean version to 4.0.0
2023-09-13 21:02:26 -07:00
Leni Aniva
8a448fb114
Add testing stub
2023-05-22 11:47:46 -07:00
Leni Aniva
147079816d
Add manifest file
2023-05-21 23:30:41 -07:00