diff options
| author | Michael Stapelberg <michael@stapelberg.de> | 2011-07-21 22:46:35 +0200 |
|---|---|---|
| committer | Michael Stapelberg <michael@stapelberg.de> | 2011-07-21 22:46:35 +0200 |
| commit | 53bf8bcb01812254ea58e5a531f0e95637ed93eb (patch) | |
| tree | 279571ce924685bd40e9866d6d89c42ead33806d /man/Makefile | |
| parent | 5e276db583ba94e8e303c8868df52ffcaa0819a4 (diff) | |
Bugfix: Use gettimeofday instead of time. It provides higher precision.
Otherwise, we sometimes have a wrong date/time.
Diffstat (limited to 'man/Makefile')
0 files changed, 0 insertions, 0 deletions