Vincenzo Palazzo bf11df40e2 readline: give the possibility to ignore the empty line in the history (#13452)		2022-02-14 00:12:25 +02:00
..
tools	readline: give the possibility to ignore the empty line in the history (#13452)	2022-02-14 00:12:25 +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