mirror of
https://github.com/MariaDB/server.git
synced 2025-03-02 09:13:14 +01:00
![]() Implement more compact InnoDB record format. Old format is available as CREATE TABLE ... ROW_FORMAT=DYNAMIC. |
||
---|---|---|
.. | ||
fil0fil.c | ||
Makefile.am | ||
makefilewin |