]> www.ginac.de Git - ginac.git/blob - debian/ginac-tools.files
added a do-nothing function option "dummy()" to simplify the creation of
[ginac.git] / debian / ginac-tools.files
1 usr/bin/ginsh
2 usr/bin/viewgar
3 usr/share/man/man1/ginsh*
4 usr/share/man/man1/viewgar*
5 usr/share/pixmaps/ginac.xpm