Skip to content

fix SMALL_ALLOCATOR=OFF - #52

Closed
Kha wants to merge 2 commits into
leanprover:masterfrom
Kha:master
Closed

fix SMALL_ALLOCATOR=OFF#52
Kha wants to merge 2 commits into
leanprover:masterfrom
Kha:master

Commits

Commits on Oct 29, 2019