diff options
| author | Damien George <damien.p.george@gmail.com> | 2015-11-03 00:33:56 +0000 |
|---|---|---|
| committer | Damien George <damien.p.george@gmail.com> | 2015-11-03 00:33:56 +0000 |
| commit | dde0c204e7305d67dc328090b5399f2883a4f423 (patch) | |
| tree | d7884f566facf0705303e8835d00993a3b6d4732 /docs/conf.py | |
| parent | c76fe77f4228568873a9229aba9d5b52170f90a3 (diff) | |
| download | micropython-dde0c204e7305d67dc328090b5399f2883a4f423.tar.gz micropython-dde0c204e7305d67dc328090b5399f2883a4f423.zip | |
lib/pyexec: For paste mode use "Ctrl" as the name of the key, not "CTRL".
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions