diff options
-rw-r--r-- | unix/main.c | 1 | ||||
-rw-r--r-- | windows/main.c | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/unix/main.c b/unix/main.c index 1200b7d5d1..1549054f04 100644 --- a/unix/main.c +++ b/unix/main.c @@ -139,7 +139,6 @@ STATIC char *prompt(char *p) { STATIC void do_repl(void) { printf("Micro Python build " MICROPY_GIT_HASH " on " MICROPY_BUILD_DATE "; UNIX version\n"); - printf("Type \"help()\" for more information.\n"); for (;;) { char *line = prompt(">>> "); diff --git a/windows/main.c b/windows/main.c index 575572ae38..36d98f73d0 100644 --- a/windows/main.c +++ b/windows/main.c @@ -119,7 +119,6 @@ static char *prompt(char *p) { static void do_repl(void) { printf("Micro Python build " MICROPY_GIT_HASH " on " MICROPY_BUILD_DATE "; Windows version\n"); - printf("Type \"help()\" for more information.\n"); for (;;) { char *line = prompt(">>> "); |