summaryrefslogtreecommitdiff
path: root/bin/check-opcodes
AgeCommit message (Expand)Author
2018-01-21bin/opcode, bin/check-opcodes, conf/Opcode_list: fix style, so git hook does ...Erich Eckner
2018-01-19renames in opcode sniffer, using proper tmpdirAndreas Baumann