More file cleanups
[ginac.git] / debian / dirs
1 usr/lib
2 usr/include/ginac
3 usr/share/man/man1