log scripts/config-headers.sh @ 140:8b72ed3b54ec

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