diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-05-10T16·34+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-05-10T16·37+0200 |
commit | c5f23f10a84f568874321c04984b1a14d2dce978 (patch) | |
tree | fa672fb6cf9c64015d57438366492bb2eaa9c99c /doc/manual/figures | |
parent | 82a9c93c7f090d5a4eebe84894669aa13d31ed61 (diff) |
Replace readline by linenoise
Using linenoise avoids a license compatibility issue (#1356), is a lot smaller and doesn't pull in ncurses.
Diffstat (limited to 'doc/manual/figures')
0 files changed, 0 insertions, 0 deletions