diff options
author | Raimo Niskanen <[email protected]> | 2017-10-06 11:46:38 +0200 |
---|---|---|
committer | Raimo Niskanen <[email protected]> | 2017-10-09 09:59:42 +0200 |
commit | 8efef4a2b75a7c7db54cb1b2d4b7ed36bba78db9 (patch) | |
tree | dbfc72fe03e070464d2f56aa5ade3acedb2a5eb4 /make/otp_ded.mk.in | |
parent | 38d25c94cee65f69b8b44cc24a351fa887a981b2 (diff) | |
download | otp-8efef4a2b75a7c7db54cb1b2d4b7ed36bba78db9.tar.gz otp-8efef4a2b75a7c7db54cb1b2d4b7ed36bba78db9.tar.bz2 otp-8efef4a2b75a7c7db54cb1b2d4b7ed36bba78db9.zip |
Change {clean_timeout,infinity} to use proxy
Diffstat (limited to 'make/otp_ded.mk.in')
0 files changed, 0 insertions, 0 deletions