| commit | 898ac1bb46c3195c721c7841d6c4dd48d56e302d | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Mon Sep 01 15:38:12 1997 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Mon Sep 01 15:38:12 1997 +0000 |
| tree | b7524553e2959058fdd006b029b2d0bc9dfdc511 | |
| parent | faad995380141f6a71497ec6ec4a9a0a9db756c9 [diff] |
Added GetTicks() here, so profiling can use a decent timer