Using port 222 on git.indexdata.dk
[git-tools-moved-to-github.git] / id-rpm-build /
drwxr-xr-x   ..
-rwxr-xr-x 498 id-setup-rpmbuild.sh
-rwxr-xr-x 1350 upload-rpms.sh