#! /bin/csh -f
# Last edited on 2002-01-08 04:41:11 by stolfi

# Delete breaks and parags - there are much worse errors...

sed -e '/^[~=]$/d'