log share/headers @ 12177:7df6e3f0219f draft

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