# HG changeset patch # User diego # Date 1035934665 0 # Node ID 9ec3f2b9a87fb18882fb2cec79be57e2f57e0d80 # Parent 2648f13b1709b6763a8c995bb54e82a774768371 MPlayer --> MPlayer diff -r 2648f13b1709 -r 9ec3f2b9a87f DOCS/formats.html --- a/DOCS/formats.html Tue Oct 29 23:36:37 2002 +0000 +++ b/DOCS/formats.html Tue Oct 29 23:37:45 2002 +0000 @@ -89,7 +89,7 @@