[mkgmap-dev] Minor documentation patch

Mon Jan 4 17:24:20 GMT 2021

Hi Gerd

I think it is simplest to do that. Then later some of the sea options
texts can be reworded if any of us feel strongly about it.

Ticker

On Mon, 2021-01-04 at 15:30 +0000, Gerd Petermann wrote:
> Hi Ticker,
> 
> not sure what to do now. Do you think i should commit Mikes patch
> without changes?
> 
> Gerd