projects / git-tools-moved-to-github.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Do not try to rm OMIT_FROM_DIST files if they don't exist.
[git-tools-moved-to-github.git] / indexdata-build / .gitignore
1 build-stamp
2 configure-stamp
ID Git Tools.