log scripts/config-headers.sh @ 498:dfa8771e84b1

age author description
Sun, 09 Oct 2016 05:53:14 +0000 Mychaela Falconia config headers overhaul
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