]> www.ginac.de Git - ginac.git/blobdiff - debian/ginac-tools.menu
compare(ex(0)) -> is_zero()
[ginac.git] / debian / ginac-tools.menu
index 62267268f2a1b06d630b35a8fb7128000f19358b..5424b40fae7266ac63f41aebdd4375a24a41b09e 100644 (file)
@@ -4,4 +4,4 @@
   title="Ginsh"\
   longtitle="Ginsh - GiNaC interactive shell"\
   command="/usr/bin/ginsh" \
-  icon="/usr/X11R6/include/X11/pixmaps/ginac.xpm"
+  icon="/usr/share/pixmaps/ginac.xpm"