]> www.ginac.de Git - ginac.git/blob - debian/ginac-tools.files
GINAC_RL_VERSION_* defines didn't get set when running configure from cache
[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*