B. Petersen 4880f9ff32 improve repl message search ...

- allow spaces in queries
- show query and scope below result

2022-04-01 11:46:26 +02:00

..

cmdline.rs

improve repl message search

2022-04-01 11:46:26 +02:00

main.rs

remove usued repl command 'event' (#3153)

2022-03-25 15:53:51 +01:00