diff options
| author | Damien George <damien.p.george@gmail.com> | 2018-03-05 19:10:45 +1100 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2018-03-05 19:10:45 +1100 |
| commit | a5fb699d87ffa178736021c4763d323be54e87d4 (patch) | |
| tree | dfd5dbfc093144cfab1fe1ddbc333c2d45b65fc1 /docs/library/uos.rst | |
| parent | 6e09320b4c5b3b6630acb70ee5c28154a757e61a (diff) | |
docs/library/micropython: Describe optimisation levels for opt_level().
Diffstat (limited to 'docs/library/uos.rst')
0 files changed, 0 insertions, 0 deletions