27 Jun
2020
27 Jun
'20
8:25 a.m.
Hi Gerd, please find attached a patch for a minor change to the documentation: Removal of mention of --no-net which does not appear to exist in the code Moving of --max-flare-length-ratio to immediately after the related --check-roundabout-flares option Minor improvement of text in the --precomp-sea section Cheers, Mike