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 /prebuild.delete | |
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 'prebuild.delete')
0 files changed, 0 insertions, 0 deletions