quick hack to make the old pubmats build (in buster chroot) c.p.
(without this, some have extra whitespace before listings leading to erroneous page breaks)
Please register or sign in to comment
Wir führen am 26. Juli 2025 ab ca. 9 Uhr einen großen Netzwerkumbau im Rechenzentrum durch. Unsere Dienste werden bis etwa 13:30 nicht oder nur eingeschränkt verfügbar sein.
(without this, some have extra whitespace before listings leading to erroneous page breaks)