On 2025-05-01 19:51:44, Olivier Certner 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.

Piotr

Reply via email to