diff options
| author | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2017-10-31 14:45:26 +0200 |
|---|---|---|
| committer | Paul Sokolovsky <pfalcon@users.sourceforge.net> | 2017-10-31 14:46:08 +0200 |
| commit | 80e3f07e7f760707f20200b6b6a706308d92158c (patch) | |
| tree | 23dec3be6dc9b64f51ea63112dcca5edd5b7f6b7 /docs/conf.py | |
| parent | 02b4b23319a84d5b96b9394d8c379ef0549fd208 (diff) | |
| download | micropython-80e3f07e7f760707f20200b6b6a706308d92158c.tar.gz micropython-80e3f07e7f760707f20200b6b6a706308d92158c.zip | |
docs/ure: Add "|" (alternative) to the list of supported operators.
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions