diff options
author | Tom Gundersen <teg@jklm.no> | 2013-10-29 15:15:53 +0100 |
---|---|---|
committer | Tom Gundersen <teg@jklm.no> | 2013-10-29 16:12:11 +0100 |
commit | 97f2d76d4f4dfab8b0629c09926a05a1e5621125 (patch) | |
tree | 3b6042e8487f4b02bc7dc74233dd9f65b5bd1801 /make-man-rules.py | |
parent | dabfa9d1efd0d1a7e0507d69f9789bc6404ff786 (diff) |
path_check_timestamp: only keep the most recent timestamp
There is no point in keeping one timestamp for each directory, as we only
ever care about the most recent one.
Diffstat (limited to 'make-man-rules.py')
0 files changed, 0 insertions, 0 deletions