diff options
| author | Ulf Magnusson <ulfalizer@gmail.com> | 2018-01-29 10:46:57 +0100 |
|---|---|---|
| committer | Ulf Magnusson <ulfalizer@gmail.com> | 2018-01-29 10:48:45 +0100 |
| commit | e930c140b424e4f72c6317bedef4ab45079270c9 (patch) | |
| tree | 92cc0e8fb256ccd89fb52e0c1673ad501ef74eca /tests/config_indented | |
| parent | ad94bb45ba5e1d36a9dcee3ebe7a4d65241379de (diff) | |
Warn if a symbol/choice has multiple prompts
In a single location. Having multiple definitions with different prompts
is okay.
Diffstat (limited to 'tests/config_indented')
0 files changed, 0 insertions, 0 deletions