mirror of
https://github.com/MariaDB/server.git
synced 2025-09-11 05:52:26 +03:00

to "my_config.h". Not to pollute the top directory, and to get more control over what is included. Made the include path for "libedit" pick up its own "config.h" first.