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
2
Packages
Projects
Releases
1
Wiki
Activity
Add dependency for lakefile and lean-toolchain
#16
Merged
aniva
merged 1 commits from
misc/build
into
dev
2023-10-02 10:31:18 -07:00
Conversation
0
Commits
1
Files Changed
1
+1
-1
1 Commits
Author
SHA1
Message
Date
Leni Aniva
5f2b394471
Add dependency for lakefile and lean-toolchain
2023-10-02 10:30:58 -07:00