>>>>> On Tue, 29 Oct 2019 15:14:37 +0100, Thibault Polge <thiba...@thb.lt> said:
Thibault> Robert Pluim writes:
>> end of line *is* a whitespace character, but Iʼm not going to argue
>> that. Iʼm going to argue that this doesnʼt cover the case of a '#' at
>> EOB without a newline, hence saying 'zero or more' would be better.
Thibault> But zero-or-more would mean that this line:
Thibault> #Alpha
Thatʼs the problem with human language, itʼs imprecise. I meant
^[ \t]*#[ \t]*$
Robert
