diff options
| author | Damien George <damien.p.george@gmail.com> | 2015-05-17 00:05:31 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-05-27 15:06:17 +0100 |
| commit | 2acfb7c00225c7fbc7b9fe4a4b5da450025dfc9a (patch) | |
| tree | 7bf82bc77773b40104eaba74de8bee0ab6a1b62f /lib/mp-readline/readline.h | |
| parent | c754d8011d0673e15e902227fb82d935f0f31f0f (diff) | |
| download | micropython-2acfb7c00225c7fbc7b9fe4a4b5da450025dfc9a.tar.gz micropython-2acfb7c00225c7fbc7b9fe4a4b5da450025dfc9a.zip | |
lib/mp-readline: Export readline_push_history function.
Diffstat (limited to 'lib/mp-readline/readline.h')
| -rw-r--r-- | lib/mp-readline/readline.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/mp-readline/readline.h b/lib/mp-readline/readline.h index c901464f49..6105cea008 100644 --- a/lib/mp-readline/readline.h +++ b/lib/mp-readline/readline.h @@ -32,6 +32,7 @@ void readline_init0(void); int readline(vstr_t *line, const char *prompt); +void readline_push_history(const char *line); void readline_init(vstr_t *line, const char *prompt); void readline_note_newline(const char *prompt); |