diff options
author | jelle van der Waa <jelle@archlinux.org> | 2019-10-15 23:17:00 +0200 |
---|---|---|
committer | Levente Polyak <anthraxx@archlinux.org> | 2019-10-15 23:30:23 +0200 |
commit | 29c6fa85373324c027c4ca3965707422187881d6 (patch) | |
tree | 36d40637d62c1ddad1f1f574cfb51531e9d1aa33 /lib | |
parent | 74f65db396038caafcba20e4302fba080d8cc100 (diff) | |
download | devtools32-29c6fa85373324c027c4ca3965707422187881d6.tar.xz |
sogrep: redirect to destination mirror (#25)
Some mirrors redirect consumers to a near by mirror which isn't handled
by sogrep.
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions