Eelco Dolstra 58dadf2954 Remove stray 'Title:' from the manual ... Closes #4096.		2020-10-08 17:30:40 +02:00
..
manual	Remove stray 'Title:' from the manual	2020-10-08 17:30:40 +02:00