diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-01-19 14:22:34 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-01-19 14:22:34 +0100 |
| commit | 342cccc384148e93142ed9dca59ad23e58388564 (patch) | |
| tree | 061b97a7a2bac66438ed4cf32a8b2ebb36fda518 /AUTHORS | |
| parent | 52bdff78675dfce080f33414613b3cb441167def (diff) | |
do not rely on filetime, as Git does not preserve it
Diffstat (limited to 'AUTHORS')
0 files changed, 0 insertions, 0 deletions