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 /lib/stdlib/src/shell.erl | |
| 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 'lib/stdlib/src/shell.erl')
0 files changed, 0 insertions, 0 deletions