2 commits

Author	SHA1	Message	Date
tydeu	3c1185dc9c	chore: document package configuration + other minor cleanup	2021-09-16 07:49:56 -04:00
tydeu	b14eef6e06	refactor: split out top / lib / bin build from Build.lean	2021-07-15 12:50:54 -04:00