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 /lib/stdlib/doc/src/erl_lint.xml | |
| 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 'lib/stdlib/doc/src/erl_lint.xml')
0 files changed, 0 insertions, 0 deletions