diff options
| author | Siri Hansen <[email protected]> | 2017-11-15 16:16:50 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2017-11-15 16:16:50 +0100 |
| commit | 41e6eaa01031284c6d0f89eee031593f77953c1d (patch) | |
| tree | 0205f54e2cb29420e07fcfcc50211c898483a310 /system/doc | |
| parent | 355e7855919e2a82856b27d45cb692a087da0385 (diff) | |
| parent | a03895dcfb558dbb27a8a15afbb199f17231184b (diff) | |
| download | otp-41e6eaa01031284c6d0f89eee031593f77953c1d.tar.gz otp-41e6eaa01031284c6d0f89eee031593f77953c1d.tar.bz2 otp-41e6eaa01031284c6d0f89eee031593f77953c1d.zip | |
Merge pull request #1602 from sirihansen/siri/supervisor/store-children-in-map
Refactor supervisor, and store children in a map instead of a list
OTP-14586
Diffstat (limited to 'system/doc')
0 files changed, 0 insertions, 0 deletions