diff DOCS/documentation.html @ 2192:651403a77df3

server names changed
author gabucino
date Sat, 13 Oct 2001 19:16:33 +0000
parents 69467fef1577
children 28cd390316c0
line wrap: on
line diff
--- a/DOCS/documentation.html	Sat Oct 13 19:13:50 2001 +0000
+++ b/DOCS/documentation.html	Sat Oct 13 19:16:33 2001 +0000
@@ -963,7 +963,7 @@
 </P>
 
 </LI><LI>MPlayer CVS-log: <BR>
-<A HREF="http://mp.dev.hu/mailman/listinfo/mplayer-cvslog">http://mp.dev.hu/mailman/listinfo/mplayer-cvslog</A>
+<A HREF="http://mplayerhq.hu/mailman/listinfo/mplayer-cvslog">http://mplayerhq.hu/mailman/listinfo/mplayer-cvslog</A>
 <P>Send only questions about CVS changes here.
 (if you don't understand why a change is required or you've better fix)
 Be sure in that your target developer reads this list!</P>