diff options
| author | Hauke Mehrtens <hauke@hauke-m.de> | 2015-09-11 17:59:12 +0000 |
|---|---|---|
| committer | Hauke Mehrtens <hauke@hauke-m.de> | 2015-09-11 17:59:12 +0000 |
| commit | accc5e369343b9389081dc7ede7197e55d52d74f (patch) | |
| tree | 2b3a7d9ab98bef231a5efc663ce6e2c3057cab6e /tools/flex | |
| parent | 98e00f8fdd92174aad58612107fd2cee06fbe036 (diff) | |
| download | upstream-accc5e369343b9389081dc7ede7197e55d52d74f.tar.gz upstream-accc5e369343b9389081dc7ede7197e55d52d74f.tar.bz2 upstream-accc5e369343b9389081dc7ede7197e55d52d74f.zip | |
script: downlaod: change mirror for kernel.org
kernel.org now suggests a different mirror address. this one also
support IPv6 connections and was faster for me.
Signed-off-by: Hauke Mehrtens <hauke@hauke-m.de>
SVN-Revision: 46875
Diffstat (limited to 'tools/flex')
0 files changed, 0 insertions, 0 deletions