tree a894bd878d1f9ad316331831c61f46ef86d8c011
parent 8defc71e6ddaacbb3df6629218944c74b6a8a6d0
author Phil Nash <github@philnash.me> 1366831145 +0100
committer Phil Nash <github@philnash.me> 1366831145 +0100

header builder script writes to file rather than stdout