check: time_parser.cpp: don't run the same benchmark twice.

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

diff --git a/debian/ginac-tools.menu b/debian/ginac-tools.menu
index 5424b40fae7266ac63f41aebdd4375a24a41b09e..e03bfd9550f9bf33c8a52998de7d359eb8322b83 100644 (file)
--- a/debian/ginac-tools.menu
+++ b/debian/ginac-tools.menu
@@ -1,6 +1,6 @@
 ?package(ginac-tools):\
   needs="text"\
-  section="Apps/Math"\
+  section="Applications/Science/Mathematics"\
   title="Ginsh"\
   longtitle="Ginsh - GiNaC interactive shell"\
   command="/usr/bin/ginsh" \