On Mon, May 5, 2025, 6:13 AM Olivier Certner <[email protected]> wrote:
> > >- /*- > > >+ /* > > > > No opinion on which it should be, but the minus character is meaningful > > within the context of indent(1) - it won't reformat "block" comments. > > Thanks for pointing that out, I didn't know. I think removing them was > OK, as these block comments are really nothing special. Actually, I > probably should have reformatted them to eliminate the margin for all but > the first line. > Almost nobody uses indent these days on a regular basis. We can drop it for that reason alone, even if the comments were formatted by hand... we likely need to start tagging those with clang format tags.. Warner
