diff options
| author | Luca Favatella <[email protected]> | 2014-05-27 11:41:55 +0100 |
|---|---|---|
| committer | Luca Favatella <[email protected]> | 2014-05-27 11:52:18 +0100 |
| commit | 2ed9d5efee338f704c9fb4c1d48e8a3fc7e09a44 (patch) | |
| tree | 9b1e8378f3353563d6761a593bf3a0135a9204fa /lib/tools | |
| parent | 6f0b3bd3fc28de703490470630922873775c97f5 (diff) | |
| download | otp-2ed9d5efee338f704c9fb4c1d48e8a3fc7e09a44.tar.gz otp-2ed9d5efee338f704c9fb4c1d48e8a3fc7e09a44.tar.bz2 otp-2ed9d5efee338f704c9fb4c1d48e8a3fc7e09a44.zip | |
Fix small copy&paste mistakes in doc of alternative process registry
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions