chiark / gitweb /
makebuildserver: use https uris whenever available
authorHans-Christoph Steiner <hans@eds.org>
Fri, 31 Jan 2014 01:33:37 +0000 (20:33 -0500)
committerHans-Christoph Steiner <hans@eds.org>
Fri, 31 Jan 2014 01:33:37 +0000 (20:33 -0500)
commit5cdb428a2f47f88840c89bcb7f7ec6562113a25e
treeaf89a8014c5d9074cc2d0d7809c23330027b9d7e
parent2d6f3f8cec7451b6e91d833524dc8c7f6991b2b3
makebuildserver: use https uris whenever available

* pypi now defaults to https
* dl.google.com works well with https
makebuildserver