On Sat, Jul 07, 2001 at 06:42:24AM -0000, [EMAIL PROTECTED] wrote: > BTW, do we still need to add the @deffunc lines as we don't seem to > have been doing in some places. Is this a scandoc change Ben?
Ben's gone on record saying we don't use scandoc anymore, but doxygen. (Check [EMAIL PROTECTED] archives around Jun 9th and 10th.) Go figure. No one else seems to be aware of that. =) -- justin
