diff options
author | Dan Gudmundsson <[email protected]> | 2016-02-22 09:41:42 +0100 |
---|---|---|
committer | Dan Gudmundsson <[email protected]> | 2016-02-22 09:41:42 +0100 |
commit | e4bbe3e6c0b6a5739d150a5cd2a67cc5adc260b4 (patch) | |
tree | 237b5b9bfebb2d15c45e7ab8a7edd6f110e9a2dc /lib/observer/doc/src/ref_man.xml | |
parent | 63908f5313781e199476dc0def4eb0dcaa939d88 (diff) | |
parent | e6b2edc8027c40db4c12f8f081648cda4634f9f7 (diff) | |
download | otp-e4bbe3e6c0b6a5739d150a5cd2a67cc5adc260b4.tar.gz otp-e4bbe3e6c0b6a5739d150a5cd2a67cc5adc260b4.tar.bz2 otp-e4bbe3e6c0b6a5739d150a5cd2a67cc5adc260b4.zip |
Merge branch 'dgud/observer/doc' into maint
* dgud/observer/doc:
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"/> |