# HG changeset patch
# User diego
# Date 1076446328 0
# Node ID 86da102d74d825cafa655ef1f2734ba0f3babb79
# Parent  fe2424e87a1e927a4edcb4067b9b51f355c36909
slight wording improvement, noticed by Dominik

diff -r fe2424e87a1e -r 86da102d74d8 DOCS/man/en/mplayer.1
--- a/DOCS/man/en/mplayer.1	Tue Feb 10 20:34:45 2004 +0000
+++ b/DOCS/man/en/mplayer.1	Tue Feb 10 20:52:08 2004 +0000
@@ -370,7 +370,7 @@
 .PD 0
 .RSs
 .IPs 0
-only some informal output (default)
+only some informational output (default)
 .IPs 1
 some basic debug infos, avi header, function values (init debug)
 .IPs 2