Sebastian Ullrich e426e5dd28 chore: add CCACHE option, on by default if available		2019-11-21 13:11:02 -08:00
..
.gitignore	chore: always build stage 0 Lean binary, copy it to bin/lean_stage0	2019-10-28 18:11:44 -07:00
lean-gdb.py	chore(bin/lean-gdb.py): update to compressed headers	2019-09-12 18:22:02 +02:00
lean_wrapped	feat: add bin/lean_wrapped helper script that chooses the right stage and use it in lean-mode	2019-10-28 18:11:58 -07:00
leanc.in	chore: add CCACHE option, on by default if available	2019-11-21 13:11:02 -08:00
leanpkg
leanpkg.bat