diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2015-06-14 21:11:09 +0200 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2015-06-14 21:11:09 +0200 |
| commit | ba26bf346ebe83d4434b3d2e91962fefeab720ec (patch) | |
| tree | 662fbc5ff4ab1a11378d1f957ef22fc83f768596 /examples/help_grep.py | |
| parent | 903f2673eaf3199e13f24780e671b555e05b5c86 (diff) | |
Access Choice.actual_symbols directly internally.
Other internal details are already needed/used in those spots.
Diffstat (limited to 'examples/help_grep.py')
0 files changed, 0 insertions, 0 deletions