Skip to content

Fix parsing \label with options#1057

Merged
pfoerster merged 1 commit intomasterfrom bugfix/label-command-optionsMar 24, 2024

Commits

Commits on Mar 24, 2024