[Bug-indent] indent vs. splint (formerly lclint)

[Matthias Andree]

Hello,

I'm a friend of indent, and I have a fellow worker for leafnode who is a
friend of splint.

Splint uses structured comments, such as /address@hidden@*/, where /*@ and @*/
are atoms. However, indent 2.2.6 breaks apart the latter, making the
comment into /address@hidden@ */ which splint no longer recognizes.

Is there any way to tell indent not to break these apart?

Thanks a lot in advance,

-- 
Matthias Andree