diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-01-16 03:43:30 +0100 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-01-16 03:51:06 +0100 |
| commit | ef5091f587796d0d5bba811e5ddacc53fa6d9198 (patch) | |
| tree | 61811cb16eb6546cf48d9d3e99b720c4c9bee92b /setup.cfg | |
| parent | 82561b0e5f267a3e5a812514f5b8c4c8778dcbe6 (diff) | |
Do not optimize promptless choice symbols
Choice symbols without prompts are pointless and probably nonexistent in
practice, so it's a bit silly to run the no-prompt optimization for
them.
Piggyback copyright year update.
Diffstat (limited to 'setup.cfg')
0 files changed, 0 insertions, 0 deletions
