Fix handling of changed/deleted directories (fixes #231)

This commit is contained in:
Jakob Borg committed 2014-05-19 22:31:28 +02:00
1 parent 23b55f68b7
commit dba40eefb1
8 files changed
+123 -45

No files matched your search

+1
View File
@@ -11,3 +11,4 @@ md5r
json
*.idx.gz
dirs-*
*.out