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> |
||
---|---|---|
.. | ||
fsp0file.cc | ||
fsp0fsp.cc | ||
fsp0space.cc | ||
fsp0sysspace.cc | ||
fsp_binlog.cc |