us1 mirror is disabled since Nov 2017
authorMichael Wallner <mike@php.net>
Mon, 8 Jan 2018 12:05:09 +0000 (13:05 +0100)
committerMichael Wallner <mike@php.net>
Mon, 8 Jan 2018 12:05:09 +0000 (13:05 +0100)
commit05f5e23f9c6a3d588675f0387c882af1f57c0e4e
tree371dc8777a207401c7c588a53a3000e6f1e06474
parent79de9c8e52f16a2e06324683cf4c00c91df1b6c1
us1 mirror is disabled since Nov 2017
Makefile