Sat, 04 Apr 2020 19:18:19 +0200 clarified signature;
wenzelm [Sat, 04 Apr 2020 19:18:19 +0200] rev 71685
clarified signature;
Sat, 04 Apr 2020 18:13:05 +0200 clarified signature;
wenzelm [Sat, 04 Apr 2020 18:13:05 +0200] rev 71684
clarified signature;
Sat, 04 Apr 2020 18:05:37 +0200 thread pool with Standard_Thread workers;
wenzelm [Sat, 04 Apr 2020 18:05:37 +0200] rev 71683
thread pool with Standard_Thread workers; tuned signature;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip