diff options
author | Marek Mahut <marek.mahut@gmail.com> | 2020-01-20 10:47:38 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-20 10:47:38 +0100 |
commit | c82e1c666faa59e1a081d5786e5f92da2230995f (patch) | |
tree | 6c4803efaef149c151bb655416f305adc9de1f64 /pkgs/development/tools/continuous-integration | |
parent | 411f068871aaa1796dc7d71cb12dde462aeb0a14 (diff) | |
parent | 61870727de81a60fb5881dc00e8b5450beebdec9 (diff) |
Merge pull request #78087 from MazeChaZer/maven-mirrors-https
mirrors.nix: Use HTTPS in maven mirrors
Diffstat (limited to 'pkgs/development/tools/continuous-integration')
0 files changed, 0 insertions, 0 deletions