2 Commits

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