mirror of
https://github.com/MariaDB/server.git
synced 2025-05-11 08:19:53 +02:00
![]() The file_no and page_no values are not really needed in the page object, so remove them to save a bit of memory. Signed-off-by: Kristian Nielsen <knielsen@knielsen-hq.org> |
||
---|---|---|
.. | ||
ha_innodb.cc | ||
ha_innodb.h | ||
handler0alter.cc | ||
i_s.cc | ||
i_s.h | ||
innodb_binlog.cc |