# HG changeset patch
# User diego
# Date 1090972938 0
# Node ID 80ddb6bac2191e14d03942074c978eefc008978d
# Parent  1714af2d907694efa2635a567e02d710bfb821be
We support more than just DivX 5.01.

diff -r 1714af2d9076 -r 80ddb6bac219 DOCS/xml/en/codecs.xml
--- a/DOCS/xml/en/codecs.xml	Tue Jul 27 19:05:31 2004 +0000
+++ b/DOCS/xml/en/codecs.xml	Wed Jul 28 00:02:18 2004 +0000
@@ -24,7 +24,7 @@
   </simpara></listitem>
 <listitem><simpara>
   native decoders for <emphasis role="bold">DivX ;-), OpenDivX (DivX4),
-  DivX 5.01, 3ivX, M$ MPEG4</emphasis> v1, v2 and other MPEG4 variants
+  DivX 5 (Pro), 3ivX, M$ MPEG4</emphasis> v1, v2 and other MPEG4 variants
   </simpara></listitem>
 <listitem><simpara>
   native decoder for <emphasis role="bold">Windows Media Video 7/8</emphasis>