diff options
author | Dan Gudmundsson <[email protected]> | 2016-02-22 09:46:32 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2016-02-22 09:46:32 +0100 |
commit | 942aa912cd1f17a7a98fd98f9d39a1374bbac44d (patch) | |
tree | 2e1720b24addd1e435c4c931ca52c4651d08cd5d /lib/observer/doc/src/ref_man.xml | |
parent | 83185e95fe92efb2431c1173ac16f26bd40217f7 (diff) | |
parent | fb39a2dd41a5bb14e1f84935798e09ab3b747c85 (diff) | |
download | otp-942aa912cd1f17a7a98fd98f9d39a1374bbac44d.tar.gz otp-942aa912cd1f17a7a98fd98f9d39a1374bbac44d.tar.bz2 otp-942aa912cd1f17a7a98fd98f9d39a1374bbac44d.zip |
Merge remote-tracking branch 'upstream/maint'
* upstream/maint:
debugger: Editorial changes in documentation
Observer: Editorial changes in documentation
Diffstat (limited to 'lib/observer/doc/src/ref_man.xml')
-rw-r--r-- | lib/observer/doc/src/ref_man.xml | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/lib/observer/doc/src/ref_man.xml b/lib/observer/doc/src/ref_man.xml index 03d7dbe9df..37e20b2643 100644 --- a/lib/observer/doc/src/ref_man.xml +++ b/lib/observer/doc/src/ref_man.xml @@ -30,10 +30,7 @@ <file>application.sgml</file> </header> <description> - <p>The <em>Observer</em> application contains tools for tracing - and investigation of distributed systems.</p> - <br></br> - </description> + </description> <xi:include href="observer_app.xml"/> <xi:include href="observer.xml"/> <xi:include href="ttb.xml"/> |