max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: update Lake to https://github.com/leanprover/lake/pull/48/files

Browse source
This commit is contained in:
Sebastian Ullrich 2022-01-22 13:49:18 +01:00
parent cfaba85199
commit 180cc59d64
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/lake

@ -1 +1 @@
Subproject commit 521e88e55496b7369956b9077dc38d9fee12ace8
Subproject commit 5b9efd58905758f38153fc1f2066192b5c1862ce