manual.texi:

* Update WideXS mirror URLs

manual.texi:
* Update WideXS mirror URLs
0785269e · tfr@sarvik.tfr.cafe.ee · e8023fad · 0785269e
Commit 0785269e authored Oct 25, 2001 by tfr@sarvik.tfr.cafe.ee
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 3 deletions

Docs/manual.texi Docs/manual.texi +3 -3

No files found.
--- a/Docs/manual.texi
+++ b/Docs/manual.texi
@@ -6728,9 +6728,9 @@ Please report bad or out-of-date mirrors to @email{webmaster@@mysql.com}.
 @item
 @c EMAIL: mysql@widexs.nl (Wouter de Jong)
-@image{Flags/netherlands} Netherlands [Widexs BV] @
+@image{Flags/netherlands} Netherlands [WideXS BV] @
-@uref{http://mysql.widexs.nl/, WWW}
+@uref{http://mysql.mirror.widexs.nl/, WWW}
-@uref{ftp://mysql.widexs.nl/pub/mysql/, FTP}
+@uref{ftp://mirror.widexs.nl/pub/mysql/, FTP}
 @item
 @c EMAIL: peter@proserve.nl (ProServe - Peter Batenburg)