Re: Clarify the meaning of "character" in the documentation
On 2024-03-05 18:37, Kristoffer Haugsbakk wrote:
Show 14 quoted lines
> On Tue, Mar 5, 2024, at 18:20, Dragan Simic wrote:
>> On 2024-03-05 17:58, Kristoffer Haugsbakk wrote:
>>> Personally I think it’s okay. `%` for example is a good candidate
>>> since
>>> you seldom use that as a leading character in prose (after a
>>> whitespace), and it seems that `%` is often recommended as an
>>> alternative.
>>
>> Isn't '%' actually an ASCII character?
>
> I wasn’t clear: personally I think the status quo of only allowing
> ASCII
> characters seems fine given that you can use something like `%` as an
> alternative comment char.
Ah, I see. Thanks for the clarification.