ef6dee268ab7d7b052a7592850536eed315c3154
[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