2017-05-26 15:27:30 +02:00
|
|
|
Java Readline is a JNI wrapper for the GNU readline or the editline command
|
|
|
|
|
line libraries.
|
2017-06-12 17:01:53 +02:00
|
|
|
|
|
|
|
|
libedit is an optional dependency which is auto-detected. If found, editline
|
|
|
|
|
support will be built into the package.
|
