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 dba40eefb1 Fix handling of changed/deleted directories (fixes #231)

2014-05-19 22:31:28 +02:00

80 B

Raw Blame History

View Raw