- changed function::diff() to be more tolerant by checking first if the
[ginac.git] / stamp-h.in
1 timestamp