diff options
author | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-31 09:37:53 -0800 |
---|---|---|
committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2016-01-31 09:37:53 -0800 |
commit | e2937b443f1a587751d77ce958700b4014c14cbd (patch) | |
tree | 946739caf910d4dc1f3ef900da9f2d8e5c6d2408 /src/doc/help/trace.help | |
parent | afdfc4da685d9988f8675798bad70a4fccdc4e2d (diff) | |
download | open-axiom-e2937b443f1a587751d77ce958700b4014c14cbd.tar.gz |
Remove support for --show-insn, and ")set )report insn"
Diffstat (limited to 'src/doc/help/trace.help')
0 files changed, 0 insertions, 0 deletions