]> www.ginac.de Git - ginac.git/history - check/timer.h
parallel build uses NCPU jobs instead of NCPU+1
[ginac.git] / check / timer.h
2003-07-02 Christian Bauermerging 1.2 branch into main trunk