* As agreed upon at lunch, remove debugmsg since it is hardly of any use.
[ginac.git] / debian / dirs
1 usr/lib