summaryrefslogtreecommitdiff
path: root/pool.php
AgeCommit message (Expand)Author
2019-06-06pool.php: ignore not-up-to-date mirrorsErich Eckner
2019-06-06pool.php new for pool.mirror.archlinux32.orgErich Eckner