diff options
| author |  Peter LeFanu Lumsdaine <p.l.lumsdaine@gmail.com> | 2018-04-04 14:37:32 +0200 |
|---|---|---|
| committer | Peter LeFanu Lumsdaine <p.l.lumsdaine@gmail.com> | 2018-04-04 14:37:32 +0200 |
| commit | 024397b19636937ffef8f47247bd6d7d5ac34e2b (patch) | |
| tree | eac2abfd299dd5dc9ca1f1f1aeb116d110896c53 /ide/MacOS | |
| parent | b301358a7cbe3f53cc3d0e9b35f930ccd23adae2 (diff) | |
Sphinx docs: fix typo (non-ASCII character lost in sphinx migration)
Diffstat (limited to 'ide/MacOS')
0 files changed, 0 insertions, 0 deletions