-
Volker Krause authored
This is a preparational step for improvements to the layout of texts produced from HTML input and makes those extractor scripts rely less on specific whitespace sequences.
98d72a3a
This is a preparational step for improvements to the layout of texts produced from HTML input and makes those extractor scripts rely less on specific whitespace sequences.