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

Fix changed URL on MySQL website.

Browse source
This commit is contained in:
unknown 2002-08-23 07:52:04 +10:00
parent 0833663fff
commit 82802d3e60
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Docs/manual.texi
View file

@ -1621,7 +1621,7 @@ to do so.
We have designed a set of special @emph{Conditional Use} logos that may be
downloaded from our web site at
@uref{http://www.mysql.com/downloads/logos.html}
@uref{http://www.mysql.com/press/logos.html}
and used on third-party web sites without written permission from
@code{MySQL AB}.
The use of these logos is not entirely unrestricted but, as the name