diff options
| author | Damien George | 2014-05-21 20:14:27 +0100 |
|---|---|---|
| committer | Damien George | 2014-05-21 20:14:27 +0100 |
| commit | aa7cf6f72f4e8a553f892629bb3338ab8c982d57 (patch) | |
| tree | b16167eecc2c5e8e5f84bd710308366a166c55e8 /stm/file.h | |
| parent | 63436ce22ee20f56b0083f846261c0b77af9961b (diff) | |
stm: Remove long-obsolete stm/ port.
Diffstat (limited to 'stm/file.h')
| -rw-r--r-- | stm/file.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/stm/file.h b/stm/file.h deleted file mode 100644 index 3845635de..000000000 --- a/stm/file.h +++ /dev/null @@ -1 +0,0 @@ -mp_obj_t pyb_io_open(mp_obj_t o_filename, mp_obj_t o_mode); |