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 /Makefile | |
| parent | 74f65db396038caafcba20e4302fba080d8cc100 (diff) | |
| download | devtools-29c6fa85373324c027c4ca3965707422187881d6.tar.gz devtools-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 'Makefile')
0 files changed, 0 insertions, 0 deletions