]> www.ginac.de Git - ginac.git/tree - config/
This patch fixes a bug on machines where char is unsigned by default, by
[ginac.git] / config /
drwxr-xr-x   ..
-rwxr-xr-x 16164 config.rpath