B. Petersen 7d51c1140d use println!() for all repl outputs ...

in the very beginning, we allowed using the cmdline partly from the ui
via a special function; this made info!() handy.
however, this is long gone and no longer needed.

2019-12-21 13:09:38 +01:00

..

cmdline.rs

use println!() for all repl outputs

2019-12-21 13:09:38 +01:00

main.rs

more call sites

2019-12-19 12:06:01 +01:00