diff options
| author | Dan Gudmundsson <[email protected]> | 2012-05-07 14:28:55 +0200 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2012-05-08 12:36:48 +0200 |
| commit | 5628fb8d88f91b3ef8e140e2658a6f61b4e42adb (patch) | |
| tree | 5fd637bb062e5646cb6c70db6d564ad8d76253b7 /lib/tools | |
| parent | 515e0ad4040bc50a637bb31fc33c825d41b4f0ac (diff) | |
| download | otp-5628fb8d88f91b3ef8e140e2658a6f61b4e42adb.tar.gz otp-5628fb8d88f91b3ef8e140e2658a6f61b4e42adb.tar.bz2 otp-5628fb8d88f91b3ef8e140e2658a6f61b4e42adb.zip | |
[observer] Add more popup menus and info selected pid
Diffstat (limited to 'lib/tools')
0 files changed, 0 insertions, 0 deletions