log share/headers @ 8785:d32a7c62d774

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