| commit | 1c0fceeaa78c1cef7b4ed9eded85310135fa3bad | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 07 20:11:03 2000 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Jun 07 20:11:03 2000 +0000 |
| tree | 45f7b227213235e067a6cd806ca6ecdf9d5bb4e7 | |
| parent | fd771a6a856dc8fc0fbf5f14dcf28e74ff02ec8f [diff] |
Minor bugfix: one uthread-dependent cleanup had "if not uthread" in stead of "if uthread".