summaryrefslogtreecommitdiff
path: root/bin/opcode
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
2018-01-19added a preliminary opcode snifferAndreas Baumann