diff options
author | Raimo Niskanen <[email protected]> | 2018-04-24 15:36:14 +0200 |
---|---|---|
committer | Raimo Niskanen <[email protected]> | 2018-04-24 15:36:14 +0200 |
commit | 685cd438232282ee0fa790517e7fe193110ff265 (patch) | |
tree | 34f97b67026443afb1fccf75d6194884da48a6b5 /scripts/build-docker-otp | |
parent | 4b9d0a6e768966722f460d8bfa381b739165297f (diff) | |
parent | 728bc036aa72a83080e933722f8ad409ede69f70 (diff) | |
download | otp-685cd438232282ee0fa790517e7fe193110ff265.tar.gz otp-685cd438232282ee0fa790517e7fe193110ff265.tar.bz2 otp-685cd438232282ee0fa790517e7fe193110ff265.zip |
Merge branch 'raimo/stdlib/gen_statem-dev/OTP-14015'
* raimo/stdlib/gen_statem-dev/OTP-14015:
Fix after feedback
Improve pointer to User's Guide
Fix after feedback on 'When to use'
Add a 'When to use' section
Fix timeout parsing and doc feedback
Improve doc, change images to .svg
erl_docgen: Implement width in image tag
Update User's Guide and pointers to it
Improve error reasons from state enter call
Diffstat (limited to 'scripts/build-docker-otp')
0 files changed, 0 insertions, 0 deletions