]> www.ginac.de Git - ginac.git/search
This patch fixes a bug on machines where char is unsigned by default, by