On Sat, Jun 09, 2001 at 06:32:18PM +0100, Ben Laurie wrote:
> Note that we're using doxygen now, which:
> 
> a) Doesn't understand @deffunc
> 
> b) Doesn't need it

So, should we remove all of these lines if they just add unnecessary
work?  -- justin

Reply via email to