log share/headers @ 10000:20ae0b28393e

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