More file cleanups
[ginac.git] / debian / ginaccint.files