I also didn’t know that command history cannot be cleared. and used it for the first (and last) time as an interactive console just to pick up the regexp parameters. Sadness
I also didn’t know that command history cannot be cleared. and used it for the first (and last) time as an interactive console just to pick up the regexp parameters. Sadness