mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 12:32:27 +01:00
Typo fixes.
Shuffling sections.
This commit is contained in:
parent
2f0c4c7318
commit
8a015dc327
1 changed files with 520 additions and 515 deletions
1035
Docs/manual.texi
1035
Docs/manual.texi
File diff suppressed because it is too large
Load diff
Loading…
Reference in a new issue