do not address deletion-list directly, but rather by its stability "forbidden" - builder

diff options

author	Erich Eckner <git@eckner.net>	2018-07-23 15:06:31 +0200
committer	Erich Eckner <git@eckner.net>	2018-07-23 15:06:31 +0200
commit	96773fdedcae8354aa720c63fb289140d482529d (patch)
tree	baa606aae5fb7abd22c42815d35e8053c942ba1a /bin/check-opcodes
parent	4726ed62362267d10ea571da4f7ab75b0859b78d (diff)

do not address deletion-list directly, but rather by its stability "forbidden"

Diffstat (limited to 'bin/check-opcodes')

0 files changed, 0 insertions, 0 deletions