Alexander Medvednikov 49a4ced79c tools/fast: fix commit link and enable -prod		2020-07-10 17:03:39 +02:00
..
tools	tools/fast: fix commit link and enable -prod	2020-07-10 17:03:39 +02:00
v	repl: make the info message a bit smaller	2020-07-08 17:22:38 +02:00