Use shallow clone when cloning mathlib (saves 388MB disk space)#676
Open
BalaM314 wants to merge 1 commit intoleanprover:masterfrom
Open
Use shallow clone when cloning mathlib (saves 388MB disk space)#676BalaM314 wants to merge 1 commit intoleanprover:masterfrom
BalaM314 wants to merge 1 commit intoleanprover:masterfrom
