lclint-interest message 113

From iwm@doc.ic.ac.uk Wed Oct 16 14:02:15 1996
To: erik@it.et.tudelft.nl (Erik Mouw)
Cc: mikee@rd.bbc.co.uk (Mike Ellis), lclint-interest@larch.lcs.mit.edu,
        iwm@doc.ic.ac.uk
Subject: Re: LCLint and indent 
In-Reply-To: Your message of "Wed, 16 Oct 1996 16:28:42 +0700."
             <9610161528.AA14345@it.et.tudelft.nl> 
Date: Wed, 16 Oct 1996 17:31:23 +0100
From: Ian Moor 


The manual for indent talks about boxed comments that have their 
lines unchanged, boxed comments start with /** or /*- . Could one
modify indent to recognise /*@ as a boxed comment ?

I thought about using indent recently but the manual frighted me off,
so many options to twiddle, and now I see it is meddling with my
comments.

Ian W Moor                 Department of Computing,     
i.moor@doc.ic.ac.uk        Imperial College.            
  +44 71 589 5111 x 48250  180 Queensgate               
                           London SW7 UK.