log share/headers @ 12246:f3be034784d0 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