-
Benno Schulenberg authored
In the tiny version, do_prompt() will now have an extra NULL parameter, which will cost maybe twenty extra bytes of code. That is acceptable when it saves thirty lines in the source.
3f27c312
In the tiny version, do_prompt() will now have an extra NULL parameter, which will cost maybe twenty extra bytes of code. That is acceptable when it saves thirty lines in the source.