##  SED command file to remove lint fluff.  The latter two are for the
##  stupid, noisy, SunOS lint...  Remove filenames and the "pass2" message.
##  $Header: Fluff.sed,v 1.1 89/03/13 09:39:17 rsalz Exp $
/returns value which is sometimes ignored/d
/returns value which is always ignored/d
/^[0-9a-z]*\.c:$/d
/^Lint pass2:$/d