Pike 7.2 was released 2002. Stop supporting compat for it.

lib/7.2/modules/.autodoc

lib/7.2/modules/Gmp.pmod

lib/7.2/modules/LR.pmod/Grammar_parser.pmod

lib/7.2/modules/LR.pmod/item.pike

lib/7.2/modules/LR.pmod/lr.pike

lib/7.2/modules/LR.pmod/parser.pike

lib/7.2/modules/LR.pmod/priority.pike

lib/7.2/modules/LR.pmod/rule.pike

lib/7.2/modules/LR.pmod/scanner.pike

lib/7.2/modules/Parser.pmod/XML.pmod/Tree.pmod

lib/7.2/modules/Parser.pmod/XML.pmod/module.pmod

lib/7.2/modules/Protocols.pmod/LDAP.pmod/client.pike

lib/7.2/modules/String.pmod

lib/7.2/modules/Thread.pmod

lib/7.2/modules/__default.pmod

lib/7.2/modules/system.pmod

lib/7.2/modules/testsuite.in