5 Mar
2020
5 Mar
'20
12:14 p.m.
Hi Gerd I've had some tidy-ups to doc/options.txt sitting around for a couple of weeks and just got merge problems with the latest changes, so I've merged manually and attach patch. Changes are mostly adding some missing blank lines between options and removing some excess ones. Also fix a line folding problem that show on the web-site and remove trailing spaces. Ticker