diff options
author | Dan Gudmundsson <[email protected]> | 2017-06-07 09:48:41 +0200 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2017-06-07 09:48:41 +0200 |
commit | 106c7b1bd5d845b982796e4ab5d537b2e68c3f1d (patch) | |
tree | 2f04af4c3b048a9a4e54e4be7af53ab641037701 /erts/emulator | |
parent | 807c34117da12e0056cf4b4898830830da114e80 (diff) | |
parent | 0a6d15b8da355f8e14671b4019f44e46f0b594db (diff) | |
download | otp-106c7b1bd5d845b982796e4ab5d537b2e68c3f1d.tar.gz otp-106c7b1bd5d845b982796e4ab5d537b2e68c3f1d.tar.bz2 otp-106c7b1bd5d845b982796e4ab5d537b2e68c3f1d.zip |
Merge branch 'dgud/observer/edit-pid-port-ref'
* dgud/observer/edit-pid-port-ref:
observer: Allow edit of pid, port and refs
Diffstat (limited to 'erts/emulator')
0 files changed, 0 insertions, 0 deletions