chiark / gitweb /
check_tree.pl : Add handling of .gperf files.