diff options
| author | Damien George <damien.p.george@gmail.com> | 2015-02-13 11:57:29 +0000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-02-13 11:57:29 +0000 |
| commit | 418ec8bbbab70ec21486b37860f106f09f2e6f11 (patch) | |
| tree | 3f9a9b25b9c5ef85d067485ac537d14c4724a72a /docs/conf.py | |
| parent | 192d536fe40010cc26d2d69d8bc6cdb30928e68d (diff) | |
stmhal: Properly deinit timer object.
Addresses issue #1113.
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions