* Now this four-package split-up is gonna get in. Promised.
[ginac.git] / debian / dirs
index 1e1c0088ab1646b1fc72e1673faecd86ab6af4e4..68457717bd8efb8ba6291fca9d862dd5eb0d3b1e 100644 (file)
@@ -1,3 +1 @@
 usr/lib
-usr/include/ginac
-usr/share/man/man1