espie
|
9728cd7f30
yes, if we USE_GETTIMEOFDAY, we really don't need it.
|
11 years ago |
espie
|
9c3c6c6b76
if using gettimeofday, use it directly
|
11 years ago |
kili
|
27d5794352
|
16 years ago |
espie
|
6523d17a3d
and patches. most removed as integrated.
|
20 years ago |