diff options
| author | Dan Gudmundsson <[email protected]> | 2011-11-19 08:46:53 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2011-11-19 08:46:53 +0100 |
| commit | f9ab9f01694473e2843f3f1526ef60129a2f123b (patch) | |
| tree | a106ad6c8d473a3527507c730f2f42f1c0a78b78 /lib/dialyzer/plt | |
| parent | de1dc9682e8c6c56e03d5deb20019ff98d0b569a (diff) | |
| parent | 39730743916b300eb3e229c4e6e8a2987487d797 (diff) | |
| download | otp-f9ab9f01694473e2843f3f1526ef60129a2f123b.tar.gz otp-f9ab9f01694473e2843f3f1526ef60129a2f123b.tar.bz2 otp-f9ab9f01694473e2843f3f1526ef60129a2f123b.zip | |
Merge branch 'dgud/observer/gui/OTP-4779'
* dgud/observer/gui/OTP-4779:
[observer] Implemented basic tracing functionality
[observer] Work around wxWidgets windows bug
[observer] Rework tracing part of the gui
[observer] Fix portability bugs
[observer] Improve process_info window
[observer] Misc cleanup and fixes
[observer] Clean up code
[observer] Add a [d]ets viewer, tv replacement
[observer] Started on a wx gui
Diffstat (limited to 'lib/dialyzer/plt')
0 files changed, 0 insertions, 0 deletions