Updated Debian configuration [A.Sheplyakov].

[ginac.git] / debian / ginac-tools.files

diff --git a/debian/ginac-tools.files b/debian/ginac-tools.files
deleted file mode 100644 (file)
index ef6dee2..0000000
--- a/debian/ginac-tools.files
+++ /dev/null
@@ -1,5 +0,0 @@
-usr/bin/ginsh
-usr/bin/viewgar
-usr/share/man/man1/ginsh*
-usr/share/man/man1/viewgar*
-usr/share/pixmaps/ginac.xpm