mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-04-16 21:35:35 +02:00
Code Issues Projects Releases Packages Wiki Activity

typos in comments, etc

Browse source
This commit is contained in:
Sergei Golubchik 2023-01-03 20:48:03 +01:00 • committed by Monty
commit 7e465aeb3a
5 changed files with 4 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Docs/optimizer_costs.txt
View file

@ -1,5 +1,5 @@
This file is intended to explain some of the optimizer cost variables
in MariaDB 10.11.
in MariaDB 11.0
Background
==========