On Mon, May 15, 2023 at 2:37 AM Pavel Stehule <pavel.steh...@gmail.com> wrote:
> Hi > > Dne po 15. 5. 2023 8:01 uživatel Kirk Wolak <wol...@gmail.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!
