diff options
| author | Damien George <damien.p.george@gmail.com> | 2014-05-21 20:14:27 +0100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2014-05-21 20:14:27 +0100 |
| commit | aa7cf6f72f4e8a553f892629bb3338ab8c982d57 (patch) | |
| tree | b16167eecc2c5e8e5f84bd710308366a166c55e8 /stm/pyexec.h | |
| parent | 63436ce22ee20f56b0083f846261c0b77af9961b (diff) | |
stm: Remove long-obsolete stm/ port.
Diffstat (limited to 'stm/pyexec.h')
| -rw-r--r-- | stm/pyexec.h | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/stm/pyexec.h b/stm/pyexec.h deleted file mode 100644 index cad15af6f..000000000 --- a/stm/pyexec.h +++ /dev/null @@ -1,5 +0,0 @@ -void pyexec_raw_repl(void); -void pyexec_repl(void); -bool pyexec_file(const char *filename); - -MP_DECLARE_CONST_FUN_OBJ(pyb_set_repl_info_obj); |