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

Fixed typo

Browse source
This commit is contained in:
unknown 2000-11-28 04:52:07 +02:00
parent 6210a546cd
commit 2e3896ecf1
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Docs/manual.texi
View file

@ -28494,7 +28494,7 @@ variable in the @strong{MySQL} server is bigger than the
@end table
The most normal use of @code{mysqldump} is probably for making a backup of
whole databases. @xref{Backup}:
whole databases. @xref{Backup}.
@example
mysqldump --opt database > backup-file.sql
@ -38908,7 +38908,7 @@ though, so Version 3.23 is not released as a stable version yet.
@item
Applied patches for OS2 by @code{Yuri Dario}.
@item
@code[FLUSH TABLES table_name} didn't always flush table properly to
@code{FLUSH TABLES table_name} didn't always flush table properly to
disk; One some cases the index tree wasn't completely written to disk.
@item
@code{--bootstrap} is now run in a separate thread. This fixes the problem