diff options
author | Raimo Niskanen <[email protected]> | 2017-05-22 14:58:50 +0200 |
---|---|---|
committer | Raimo Niskanen <[email protected]> | 2017-05-22 14:58:50 +0200 |
commit | 036534e03edded03c3392a30cda189bca8dfacf5 (patch) | |
tree | 5ccc1e681bd986fd1be0dffed36205dfdde427e2 /system/doc/reference_manual/distributed.xml | |
parent | e577de4216f2dc180aac3e30949804db0b3e817d (diff) | |
parent | 51c44f09553b13194ee8346266b0930d1a135590 (diff) | |
download | otp-036534e03edded03c3392a30cda189bca8dfacf5.tar.gz otp-036534e03edded03c3392a30cda189bca8dfacf5.tar.bz2 otp-036534e03edded03c3392a30cda189bca8dfacf5.zip |
Merge branch 'raimo/gen_statem-dev'
* raimo/gen_statem-dev:
Fix documentation details
Diffstat (limited to 'system/doc/reference_manual/distributed.xml')
0 files changed, 0 insertions, 0 deletions