diff options
author | Raimo Niskanen <[email protected]> | 2017-10-11 10:35:07 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2017-10-11 10:35:07 +0200 |
commit | 5c917e33b53a397b30ca56a9cdd9922d9df19e7d (patch) | |
tree | 2665cd7f5270c6a4b367b2f089850ff4d0ed271d /lib/otp_mibs/doc/src/Makefile | |
parent | a49cfca9f9b42c18a0d1127348f68f2827dd126f (diff) | |
parent | 8efef4a2b75a7c7db54cb1b2d4b7ed36bba78db9 (diff) | |
download | otp-5c917e33b53a397b30ca56a9cdd9922d9df19e7d.tar.gz otp-5c917e33b53a397b30ca56a9cdd9922d9df19e7d.tar.bz2 otp-5c917e33b53a397b30ca56a9cdd9922d9df19e7d.zip |
Merge pull request #1595 from RaimoNiskanen/raimo/stdlib/gen_statem-clean_timeout-infinity/OTP-13073
Change gen_statem:call(_, _, {clean_timeout,infinity}) to use proxy
Diffstat (limited to 'lib/otp_mibs/doc/src/Makefile')
0 files changed, 0 insertions, 0 deletions