diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-23T15·16+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-23T15·16+0000 |
| commit | 7aedcf946043468c169ab9b0a131be908804789b (patch) | |
| tree | 0921d12c8b39d1fb6ec65c90098433ea2068cfec /doc/manual | |
| parent | 3a87163b2480eaf47d626580d20049387d942066 (diff) | |
* Make this test a bit more robust. It's still timing dependent
though.
Diffstat (limited to 'doc/manual')
0 files changed, 0 insertions, 0 deletions