: # stripheader - strip mail header # Heiner Steven (heiner.steven@odn.de) 5/96 sed '1,/^$/d' "$@"