id-pbuild.sh: clear distro list if distro option is given
[git-tools-moved-to-github.git] / indexdata-build / .gitignore
1 build-stamp
2 configure-stamp