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

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

?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"