| commit | 037649eaa675e5c11ce51bd5e2be116710d336b0 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Apr 07 15:40:59 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Apr 07 15:40:59 2000 +0000 |
| tree | b8ac05f475f8590aae78d5b30b0c25d37525ab07 | |
| parent | 6d3632a209766b5315cf2d3db3a22c78510d6ff7 [diff] |
Enable multithreading.