]> www.ginac.de Git - ginac.git/search
removed "ginac" from includedir (as in ginac-config)