]> www.ginac.de Git - ginac.git/blobdiff - debian/dirs
synced to 1.1
[ginac.git] / debian / dirs
index 1e1c0088ab1646b1fc72e1673faecd86ab6af4e4..68457717bd8efb8ba6291fca9d862dd5eb0d3b1e 100644 (file)
@@ -1,3 +1 @@
 usr/lib
 usr/lib
-usr/include/ginac
-usr/share/man/man1