2025-08-29 22:13 CEST

spring: develop 79f176df Diff ] Back to Repository ]
Author Committer Branch Timestamp Parent
abma abma develop 2012-06-12 10:44:23 develop 80a48c2b
Changeset update pr-downloader (small speedups)
- fix mirror selection
- print errors to stderror
- faster fileExists check
- increase rapid master cache time
mod - tools/pr-downloader Diff ] File ]