2023-05-14 00:21:16 +02:00
|
|
|
/* See LICENSE file for copyright and license details. */
|
|
|
|
|
2023-03-31 12:42:15 +02:00
|
|
|
static char *histfile;
|
|
|
|
static char **history;
|
|
|
|
static size_t histsz, histpos;
|
2023-04-26 10:01:11 +02:00
|
|
|
static void savehistory(char *input);
|