This repository has been archived on 2026-05-28. You can view files and clone it. You cannot open issues or pull requests or push a commit.

Jakob Borg d3085a4127 Always ignore directory modification time (that stuff is nasty)

2014-07-21 10:50:15 +02:00

7.9 KiB

Raw Blame History

View Raw