# HG changeset patch
# User rathann
# Date 1041182958 0
# Node ID f18ef6a69b27a5963c325a6dccd61df7215fbdde
# Parent  a2fa276b8ec7dbd80715f9a45e24d89923216326
Small grammar improvement (missing "was").

diff -r a2fa276b8ec7 -r f18ef6a69b27 DOCS/documentation.html
--- a/DOCS/documentation.html	Sun Dec 29 15:34:50 2002 +0000
+++ b/DOCS/documentation.html	Sun Dec 29 17:29:18 2002 +0000
@@ -1564,7 +1564,7 @@
   <A HREF="http://marillat.free.fr/">homepage</A>. These packages are highly
   unofficial, however, as Christian made and redistributed these packages when
   MPlayer was still not fully GPLed and
-  <A HREF="users_against_developers.html#binary">binary redistribution</A>
+  <A HREF="users_against_developers.html#binary">binary redistribution</A> was
   not allowed. Christian ignored requests to stop redistributing his packages,
   which caused bad blood with MPlayer developers. Binary redistribution is not
   a problem anymore, but we <B>do not support</B> these packages!</P>