Commit Graph

1 Commits

Author SHA1 Message Date
Christian Grothoff
342cccc384
do not rely on filetime, as Git does not preserve it 2020-01-19 14:22:34 +01:00