Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Makefile.config.in: Remove HAVE_READLINE.
It was forgotten to be removed with commit c5f23f1 and so it until now stayed unsubstituted as `HAVE_READLINE = @HAVE_READLINE@` in Makefile.config.
- Loading branch information