diff options
author | Miklos Vajna <vmiklos@collabora.co.uk> | 2014-08-03 14:43:43 +0200 |
---|---|---|
committer | Miklos Vajna <vmiklos@collabora.co.uk> | 2014-08-03 14:56:29 +0200 |
commit | 02b2e67d0d019196f1e6d8151a0bdc6ec8433aa9 (patch) | |
tree | 8e5fdde87af271853a6f3e5436b21f31f98618d5 /cui | |
parent | e5ac048af125e82829d353ec031c99e96572e2c0 (diff) |
redundant <list> around <choice>
<list> would mean that multiple values from <choice> would be allowed as
value (separated with whitespace), but this isn't actually true here.
Not to mention that our parser completely ignores <list>.
Change-Id: I43275c588d885429f5ea53c2f950a0011c2bb1bc
Diffstat (limited to 'cui')
0 files changed, 0 insertions, 0 deletions