diff options
author | Dan Gudmundsson <[email protected]> | 2017-05-17 15:05:53 +0200 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2017-05-17 15:05:53 +0200 |
commit | 55424641b4945b435f401f172742fe88d47ce4fb (patch) | |
tree | 4f93ec57a322266300a0d16ca31bc557e51b0a83 /lib/syntax_tools | |
parent | 429c139eb828a7f69db407e924d4639ac86df880 (diff) | |
parent | 10f06f0552f581df2afc6b83bcb43f5903a6029c (diff) | |
download | otp-55424641b4945b435f401f172742fe88d47ce4fb.tar.gz otp-55424641b4945b435f401f172742fe88d47ce4fb.tar.bz2 otp-55424641b4945b435f401f172742fe88d47ce4fb.zip |
Merge branch 'dgud/observer/chunk-proc-info'
* dgud/observer/chunk-proc-info:
observer: Fix alpabetic ordering when sorting on Name
observer: Handle crash when node goes down
observer: listen on correct notebook change
observer: chunk process list info
Diffstat (limited to 'lib/syntax_tools')
0 files changed, 0 insertions, 0 deletions