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/syntax | |
| parent | afdfc4da685d9988f8675798bad70a4fccdc4e2d (diff) | |
| download | open-axiom-e2937b443f1a587751d77ce958700b4014c14cbd.tar.gz | |
Remove support for --show-insn, and ")set )report insn"
Diffstat (limited to 'src/syntax')
0 files changed, 0 insertions, 0 deletions