This patch fixes a bug on machines where char is unsigned by default, by
[ginac.git] / CVSROOT /
1999-11-08 Richard Kreckelinitial checkin