On Mon, May 15, 2023 at 2:37 AM Pavel Stehule <pavel(dot)stehule(at)gmail(dot)com>
wrote:
> Hi
>
> Dne po 15. 5. 2023 8:01 uživatel Kirk Wolak <wolakk(at)gmail(dot)com> napsal:
>
>> This would be a trivial change. Willing to do it, and push it.
>>
>> In effect, we have this GREAT feature:
>> \set ECHO_HIDDON on
>> -- **************************
>>
>> Kirk...
>>
>
> This looks little bit strange
>
> What about /* comments
>
> Like
>
> /******* Query ********/
>
> Or just
>
> -------- Query --------
>
> Regards
>
> Pavel
>
Actually, I am open to suggestions.
/* */
Are good comments, usually safer!