On 2/20/20 8:29 AM, Thomas Koenig wrote:
Hi,
having just lost a few hours on a space in lang.opt where
there was supposed to be none, leading to a new option
being silently ignored, a request:
Hello.
Sure, I can improve sanity checking. What exactly have you screwed up?
Would it be possible to improve the syntax checking for lang.opt?
It's a file that people touch only rarely, so it is likely that
they will have no experience or will already have forgotten the
gotchas they encountered the last time.
Fully agree with that!
Martin
Regards
Thomas
