#
# Debian packaging: ignore everything at the top level, since it isn't
# included in our repository
#
/*
!/debian/
