diff options
author | stijn <stinos@zoho.com> | 2014-06-23 15:20:03 +0200 |
---|---|---|
committer | stijn <stinos@zoho.com> | 2014-06-25 13:33:10 +0200 |
commit | 39b6e279448dca10c6192cd21a9aff809a4aab5f (patch) | |
tree | 2892abaf7eb19c73a9b84ea9c8b09c730a76b4d8 /unix | |
parent | 5aa740c3e210e4f2f641db0bb2bef49eda31228f (diff) | |
download | micropython-39b6e279448dca10c6192cd21a9aff809a4aab5f.tar.gz micropython-39b6e279448dca10c6192cd21a9aff809a4aab5f.zip |
unix: Remove unused CTRL-D definition
Diffstat (limited to 'unix')
-rw-r--r-- | unix/input.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/unix/input.c b/unix/input.c index 4d856f2ff8..19ca649c9f 100644 --- a/unix/input.c +++ b/unix/input.c @@ -41,8 +41,6 @@ #include <readline/history.h> #endif -#define CTRL_D '\x04' - char *prompt(char *p) { #if MICROPY_USE_READLINE char *line = readline(p); |