diff options
| author | Damien George <damien.p.george@gmail.com> | 2018-03-08 12:49:31 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2018-03-08 12:49:31 +1100 |
| commit | 0b88a9f02ebbe3142609fa134e118e47c8008175 (patch) | |
| tree | 364a1350ffd458879d0c87561c9e60f23890c19c /docs/library/micropython.rst | |
| parent | 250b24fe3668968e305f37ebb4dcd55d57ae65d1 (diff) | |
unix/coverage: Allow coverage tests to pass with debugging disabled.
Diffstat (limited to 'docs/library/micropython.rst')
0 files changed, 0 insertions, 0 deletions