diff options
| author | Rickard Green <[email protected]> | 2017-09-25 16:20:03 +0200 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-09-25 16:20:03 +0200 |
| commit | 1b18005cf26957a736abac4ff05e300fbda7c075 (patch) | |
| tree | b79f3defc738ed6af9865d7610682a23f86c46f7 /erts/doc | |
| parent | 44c0da287d683609319b74c25dbade61408501b3 (diff) | |
| parent | 7f89338e2dddb47228aeef590b958f5640e17bfb (diff) | |
| download | otp-1b18005cf26957a736abac4ff05e300fbda7c075.tar.gz otp-1b18005cf26957a736abac4ff05e300fbda7c075.tar.bz2 otp-1b18005cf26957a736abac4ff05e300fbda7c075.zip | |
Merge pull request #1572 from gregors/update_docs
fix off by one error in docs
Diffstat (limited to 'erts/doc')
0 files changed, 0 insertions, 0 deletions