diff options
| author | Parménides GV <parmegv@sdf.org> | 2015-08-06 08:45:42 +0200 |
|---|---|---|
| committer | Parménides GV <parmegv@sdf.org> | 2015-08-06 08:45:42 +0200 |
| commit | cb92f58a141f410739ae6460b7eb8aaf2daa3c65 (patch) | |
| tree | 6a8406d7f9e2e9575f591685263276809591f8b8 /scripts/profiling/storage/profile-format.py | |
| parent | 45c684100ffc611509b76549fbb2b93f2d21e41b (diff) | |
[feat] WHEELHOUSE can be a url + --use-leap-wheels
--use-leap-wheels sets --trusted-host (remove it when we have a proper
cert) and WHEELHOUSE to https://ftp.lizard.leap.se
Until we get ftp.lizard cname, use lizard as the wheels server.
- Related: #7339
Diffstat (limited to 'scripts/profiling/storage/profile-format.py')
0 files changed, 0 insertions, 0 deletions