diff options
Diffstat (limited to '070display.cc')
| -rw-r--r-- | 070display.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/070display.cc b/070display.cc index 45ddb5e6..2c52534e 100644 --- a/070display.cc +++ b/070display.cc @@ -31,7 +31,6 @@ Recipe_ordinal["close-console"] = CLOSE_CONSOLE; :(before "End Primitive Recipe Implementations") case CLOSE_CONSOLE: { tb_shutdown(); -//? Trace_stream->dump_layer = "all"; //? 1 break; } |