log scripts/config-headers.sh @ 103:76d139c7a25e

age author description
Tue, 27 Sep 2016 04:23:46 +0000 Mychaela Falconia scripts/config-headers.sh: allow this script to be re-run
Mon, 26 Sep 2016 02:09:35 +0000 Mychaela Falconia beginning of build system: crafting config headers into place