Singular/Sources — pull request #440 by mschulze (2013-12-05 09:37:40+00:00)
Title: cleaned up debian/redhat files

cleaned up debian/redhat files