diff options
author | Dan Gudmundsson <[email protected]> | 2012-01-31 15:08:36 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2012-01-31 15:08:36 +0100 |
commit | ac5ccde0295fe1df5fbed8d806253e25e1a52b10 (patch) | |
tree | 180f53fb79f8661dcf42494249d9ee22ec34eb9c /lib/webtool/info | |
parent | dacc3570332103d1f37e72463e88a2550010df77 (diff) | |
parent | c6f48a6e0640a7d8792c4e79761c5bb942256b19 (diff) | |
download | otp-ac5ccde0295fe1df5fbed8d806253e25e1a52b10.tar.gz otp-ac5ccde0295fe1df5fbed8d806253e25e1a52b10.tar.bz2 otp-ac5ccde0295fe1df5fbed8d806253e25e1a52b10.zip |
Merge branch 'dgud/observer/bug-fixes/OTP-9878' into maint
* dgud/observer/bug-fixes/OTP-9878:
[observer] Fixed refresh interval for table viewer
[observer] Improved term formatting in table viewer
[observer] Fixed regexp error handling
[observer] Fix refresh dead process crash
[observer] Fix bugs in edit table object
[observer] Fix index reporting bug
Diffstat (limited to 'lib/webtool/info')
0 files changed, 0 insertions, 0 deletions