diff options
author | Raimo Niskanen <[email protected]> | 2018-09-19 15:19:54 +0200 |
---|---|---|
committer | Raimo Niskanen <[email protected]> | 2018-09-19 16:01:29 +0200 |
commit | 81f7ac4dae50339ce3549290c9081d23e87ce3c1 (patch) | |
tree | ccb8c57bb4addef20d442556f5d980ea17da9254 /prebuild.delete | |
parent | 5dd0487617943e95da059abe1de65f99b6a32cb3 (diff) | |
parent | 4d636ebe55ddd557f62885b724076c1c146f62dd (diff) | |
download | otp-81f7ac4dae50339ce3549290c9081d23e87ce3c1.tar.gz otp-81f7ac4dae50339ce3549290c9081d23e87ce3c1.tar.bz2 otp-81f7ac4dae50339ce3549290c9081d23e87ce3c1.zip |
Merge branch 'raimo/stdlib/gen_statem-cleanup'
OTP-14737
* raimo/stdlib/gen_statem-cleanup:
Improve user's guide on time-outs
Clean up and optimize code and doc
Diffstat (limited to 'prebuild.delete')
0 files changed, 0 insertions, 0 deletions