]> www.ginac.de Git - ginac.git/history - CVSROOT/rcsinfo
* create dirs ${prefix}/share/doc/GiNaC/{tutorial,reference} only if
[ginac.git] / CVSROOT / rcsinfo
1999-11-08 Richard Kreckelinitial checkin