log share/headers @ 12500:e48c08805365 draft default tip

age author description
Sun, 10 Jul 2016 09:27:20 +0000 HackBot <fizzie> ` sed -e \'1,+2d\' -e \'/SOURCE/,$d\' share/configure > share/headers