Checkout
Holger Brünjes
committed
on 30 Oct 19
workaround for new latex2html