Commit 500cd40f2b6e569ffb569fdeda0f2d1765324106

Stefan Sperling 2019-02-04T14:19:29

make fileindex dir diff traverse dirents in git-tree order