]> www.ginac.de Git - ginac.git/tree - config/
The patch improves the run time at the expense of using more RAM in some
[ginac.git] / config /
drwxr-xr-x   ..
-rwxr-xr-x 16164 config.rpath