mirror of
https://github.com/MariaDB/server.git
synced 2025-11-10 23:02:54 +03:00
Recognize the --no-defaults, --defaults-file and --defaults-extra-file options. Treat old --config-file argument as if --defaults-extra-file had been specified instead. Plus a few other defaults-related cleanups.
22 KiB
22 KiB