We generally don't use them, though we've never really had a formal policy.  I 
suspect we should just yank them.

Otherwise I have to go and add "@author David Blevins" to a whole lot of files.

Will yank them tomorrow unless someone speaks up.


-David

Reply via email to