DescriptionRevert "Load only the default font for System_start_delimiter"
This reverts commit 430bad24a2d15ec6600e0e780348a0caff29799b.
Regtest for setting SystemStartGrob.style to 'brace
Checks whether the SystemStartBrace is printed
Patch Set 1 #
Total comments: 8
Patch Set 2 : Adressing Werner and Jonas #
MessagesTotal messages: 5
|