Remove debian/ directory.

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

diff --git a/debian/ginac-tools.menu b/debian/ginac-tools.menu
deleted file mode 100644 (file)
index e03bfd9..0000000
--- a/debian/ginac-tools.menu
+++ /dev/null
@@ -1,7 +0,0 @@
-?package(ginac-tools):\
-  needs="text"\
-  section="Applications/Science/Mathematics"\
-  title="Ginsh"\
-  longtitle="Ginsh - GiNaC interactive shell"\
-  command="/usr/bin/ginsh" \
-  icon="/usr/share/pixmaps/ginac.xpm"