Daniel Däschle 7bd0c5bc03 vdoc: search fix titles (#7681)		2020-12-29 21:01:12 +02:00
..
tools	vdoc: search fix titles (#7681)	2020-12-29 21:01:12 +02:00
v	vfmt: fix early exit when verifying multiple files; update help (#7611)	2020-12-27 14:36:59 +01:00