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/timer.h | |
| parent | 63436ce22ee20f56b0083f846261c0b77af9961b (diff) | |
stm: Remove long-obsolete stm/ port.
Diffstat (limited to 'stm/timer.h')
| -rw-r--r-- | stm/timer.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/stm/timer.h b/stm/timer.h deleted file mode 100644 index 117cff3c9..000000000 --- a/stm/timer.h +++ /dev/null @@ -1 +0,0 @@ -void timer_init(void); |