# KEHOME/bin/deletecomment
# Mar/25/2003
# delete comment lines ("#" at beginning of line)
# delete empty lines
# usage: deletecomment file ...

cat "$@" | sed '/^#/d' | sed '/^$/d'
