diff options
| author | David Lechner <david@pybricks.com> | 2020-09-25 10:47:59 -0500 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2020-09-30 23:32:24 +1000 |
| commit | ee7568ca8d4f1a5d09a123cf5f7a1e430b8f4c9d (patch) | |
| tree | cd7e67d08874a00c56f44f0a1c24c3ef92c4b2b6 /py/makeversionhdr.py | |
| parent | 997ec9e8ccaf4f1d8a950ef025e098e6b033c66c (diff) | |
docs/reference/packages.rst: Fix typo, remove duplicate "port".
Fixes #6485.
Diffstat (limited to 'py/makeversionhdr.py')
0 files changed, 0 insertions, 0 deletions