mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 20:12:31 +01:00
3aa5599774
configure.in: fixed bug with external libedit |
||
---|---|---|
.. | ||
libedit | ||
readline | ||
Makefile.am |