mirror of
https://codeberg.org/scip/leo.git
synced 2025-12-18 13:11:00 +01:00
We don't need the headers at all afterwards, but when parsing XML, they are in the way. The "found no matches" error is no longer needed in the future.
14 KiB
14 KiB