igor efdbe9d92c repl: fix `list` command deleting '/'; adapt the logo to the terminal size (#13462)		2022-02-14 16:18:20 +02:00
..
tools	repl: fix `list` command deleting '/'; adapt the logo to the terminal size (#13462)	2022-02-14 16:18:20 +02:00
v	repl: reduce the vertical size used by V's logo, put it on the left of the info texts (#13451)	2022-02-13 11:41:36 +02:00