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 /scripts/local.mk | |
| 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 'scripts/local.mk')
0 files changed, 0 insertions, 0 deletions