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