diff options
| author | Dan Gudmundsson <[email protected]> | 2014-02-14 10:01:05 +0100 |
|---|---|---|
| committer | Dan Gudmundsson <[email protected]> | 2014-02-14 10:01:05 +0100 |
| commit | 9f698ad63586735de169fb514f22eea5164e173b (patch) | |
| tree | 019e1297c9a00189999aa0d8437baac4c14e07c5 /lib/jinterface/priv/.gitignore | |
| parent | c0667d05f1295930dacc80f82b985183fd800961 (diff) | |
| parent | b07eae7aefeff5d42e11c319c660f1f2d2cac5fd (diff) | |
| download | otp-9f698ad63586735de169fb514f22eea5164e173b.tar.gz otp-9f698ad63586735de169fb514f22eea5164e173b.tar.bz2 otp-9f698ad63586735de169fb514f22eea5164e173b.zip | |
Merge branch 'dgud/observer_fixes'
* dgud/observer_fixes:
observer: catch progressbar errors
observer: Fix observer crash when closing crashdumpviewer
observer: Fix binary links
observer: Fix crash when clicking on pid inside a html-term
Diffstat (limited to 'lib/jinterface/priv/.gitignore')
0 files changed, 0 insertions, 0 deletions