mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2025-01-17 20:42:30 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

manual.texi:

Browse source 
* Update WideXS mirror URLs


Docs/manual.texi:
  * Update WideXS mirror URLs
This commit is contained in:
unknown 2001-10-25 10:49:51 +02:00
parent 59645d1d15
commit 53a6a37313
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Docs/manual.texi
View file

@ -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] @
@uref{http://mysql.widexs.nl/, WWW}
@uref{ftp://mysql.widexs.nl/pub/mysql/, FTP}
@image{Flags/netherlands} Netherlands [WideXS BV] @
@uref{http://mysql.mirror.widexs.nl/, WWW}
@uref{ftp://mirror.widexs.nl/pub/mysql/, FTP}
@item
@c EMAIL: peter@proserve.nl (ProServe - Peter Batenburg)