tydeu 108d9852ca chore: deprecate package facets		2022-06-09 16:38:07 -04:00
..
bootstrap	chore: deprecate package facets	2022-06-09 16:38:07 -04:00
deps	chore: deprecate package facets	2022-06-09 16:38:07 -04:00
ffi	chore: deprecate package facets	2022-06-09 16:38:07 -04:00
git	chore: deprecate package facets	2022-06-09 16:38:07 -04:00
hello	chore: deprecate package facets	2022-06-09 16:38:07 -04:00
init	test: don't check for lean-toolchain generation in init example	2022-01-15 11:35:40 -05:00
io	feat: __dir__/`__args__ syntax for config settings	2022-06-03 10:58:42 -04:00
scripts	chore: fix List.get use (leanprover/lake#56)	2022-02-16 13:21:33 -05:00
targets	feat: attr to mark targets as package defaults	2022-06-09 12:52:54 -04:00
Makefile	feat: multi lib & exe targets w/ updated build CLI syntax	2022-06-07 20:48:41 -04:00