# HG changeset patch
# User diego
# Date 1053891157 0
# Node ID 13a2047cf94e7879e0537b97ed3ce5cde1a42b33
# Parent  f4e0b637ffc5b4a64897f86a01bb9e82394f67ea
An additional cosmetic '/' for consistency.

diff -r f4e0b637ffc5 -r 13a2047cf94e DOCS/xml/en/codecs.xml
--- a/DOCS/xml/en/codecs.xml	Sun May 25 19:31:21 2003 +0000
+++ b/DOCS/xml/en/codecs.xml	Sun May 25 19:32:37 2003 +0000
@@ -525,7 +525,7 @@
 <ulink url="http://www.mplayerhq.hu/MPlayer/releases/codecs/"/>
 </para></step>
 <step><para>extract QuickTime DLL pack to your Win32 codecs directory
-(default: <filename class="directory">/usr/local/lib/codecs</filename>)
+(default: <filename class="directory">/usr/local/lib/codecs/</filename>)
 </para></step>
 </procedure>