diff options
| author | Damien George <damien.p.george@gmail.com> | 2017-03-03 17:55:40 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2017-03-03 17:55:40 +1100 |
| commit | 5e83a75c78dc8c370b25e7ee669295854ea45130 (patch) | |
| tree | cdf73d65f11e02078737bc08e88e8e096c7ea144 /unix/main.c | |
| parent | 3d91c12d3382226263ea3d660b48f1ef1125d099 (diff) | |
unix: Remove remaining, obsolete traces of GNU readline support.
Diffstat (limited to 'unix/main.c')
| -rw-r--r-- | unix/main.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/unix/main.c b/unix/main.c index ad654780d..d916cdeb8 100644 --- a/unix/main.c +++ b/unix/main.c @@ -249,7 +249,7 @@ STATIC int do_repl(void) { #else - // use GNU or simple readline + // use simple readline for (;;) { char *line = prompt(">>> "); |