mirror of
https://github.com/MariaDB/server.git
synced 2025-01-17 12:32:27 +01:00
Extracted section "Comparisons" to file section.Comparisons.texi. Outdated/bad/incomplete info.
This commit is contained in:
parent
356003a8c9
commit
5874a17801
2 changed files with 1120 additions and 1117 deletions
1119
Docs/manual.texi
1119
Docs/manual.texi
File diff suppressed because it is too large
Load diff
1118
Docs/section.Comparisons.texi
Normal file
1118
Docs/section.Comparisons.texi
Normal file
File diff suppressed because it is too large
Load diff
Loading…
Reference in a new issue