diff options
| author | Martin Mares <mj@ucw.cz> | 1999-11-30 14:01:39 +0000 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 1999-11-30 14:01:39 +0000 |
| commit | 487d1afa523706d8b0caec63492f4a2b6cef3bce (patch) | |
| tree | f44ce3fe89ab4bc521dc99362a93625e6a00536c /tools | |
| parent | 0d3e6bceeeec4ebf007e02374f799cd1fb21f20c (diff) | |
Moved TIME_INFINITY to timer.h, so that it's publicly available.
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions