diff options
| author | David Kalnischkies <david@kalnischkies.de> | 2024-05-16 22:15:26 +0000 |
|---|---|---|
| committer | David Kalnischkies <david@kalnischkies.de> | 2024-05-16 22:15:26 +0000 |
| commit | 3347b7a00682a0498a2602ce3e4e72c2c3d49c75 (patch) | |
| tree | f590e9d0c7f045b67a81c3f7274390ce84b74735 /doc/examples | |
| parent | f404c8e06e07c2a89efb0f1ba997a7f1c0c472db (diff) | |
Deal better with spurious spaces in arch restrictions
Another instance of our parser written for sane clean input, but
nowadays used also for user-provided input which can contain very many
strange formatting and especially white spaces all over the place.
Closes: #1071219
Diffstat (limited to 'doc/examples')
0 files changed, 0 insertions, 0 deletions