From aa7cf6f72f4e8a553f892629bb3338ab8c982d57 Mon Sep 17 00:00:00 2001
From: Damien George
Date: Wed, 21 May 2014 20:14:27 +0100
Subject: stm: Remove long-obsolete stm/ port.

---
 stm/pyexec.h | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 stm/pyexec.h

(limited to 'stm/pyexec.h')

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);
-- 
cgit v1.2.3