Do not try to rm OMIT_FROM_DIST files if they don't exist.
[git-tools-moved-to-github.git] / indexdata-build /
drwxr-xr-x   ..
-rw-r--r-- 28 .gitignore
drwxr-xr-x - debian