# /bin/csh -f
# Last modified on Thu Mar  6 00:10:12 1986 by stolfi

# Like cat, but removes comment and blank lines

cat $* | sed '1,$s/^#.*$//g' | sed '/^$/d'