diff options
| author | Dan Gudmundsson <[email protected]> | 2017-05-31 10:05:29 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2017-05-31 10:05:29 +0200 |
| commit | 0a6d15b8da355f8e14671b4019f44e46f0b594db (patch) | |
| tree | 110ef7734f6b0f514c1ae88a820bb8a2067f6101 /lib/stdlib/src/shell.erl | |
| parent | b182febe36aa63eb8290f24ba4b7932673a9a9bc (diff) | |
| download | otp-0a6d15b8da355f8e14671b4019f44e46f0b594db.tar.gz otp-0a6d15b8da355f8e14671b4019f44e46f0b594db.tar.bz2 otp-0a6d15b8da355f8e14671b4019f44e46f0b594db.zip | |
observer: Allow edit of pid, port and refs
Use lib:extended_parse_term/1 to allow editing terms which contains
pids, ports and terms.
ERL-178
Diffstat (limited to 'lib/stdlib/src/shell.erl')
0 files changed, 0 insertions, 0 deletions