tydeu 958e3fc4da feat: add shorthands for lake script run/list ... closes leanprover/lake#88		2022-07-08 23:03:42 -04:00
..
lakefile.lean	feat: none package facet to avoid warnings in scripts example	2022-06-09 19:12:29 -04:00
test.sh	feat: add shorthands for lake script run/list	2022-07-08 23:03:42 -04:00