mirror of
https://github.com/MariaDB/server.git
synced 2025-01-18 21:12:26 +01:00
2729e866df
dict_load_table(): Remove unused label that was accidentally introduced in a 4.0->4.1->5.0 merge. |
||
---|---|---|
.. | ||
dict0boot.c | ||
dict0crea.c | ||
dict0dict.c | ||
dict0load.c | ||
dict0mem.c | ||
Makefile.am | ||
makefilewin |