igor 9ff0c51e61 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
..
tools	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
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