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

Merge work.mysql.com:/home/bk/mysql

Browse source 
into work.mysql.com:/home/bk/mysql-4.0


Docs/manual.texi:
  Auto merged
This commit is contained in:
unknown 2001-06-05 02:49:55 +02:00
commit ab4d92798f
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

@ -10572,7 +10572,7 @@ password=my_password
no-auto-rehash
set-variable = connect_timeout=2
[mysql-hot-copy]
[mysqlhotcopy]
interactive-timeout
@end example