This repository was archived by the owner on Oct 7, 2020. It is now read-only.
Document design decision of build script install.hs
#1073
Merged