Skip to content

Fix parser exception when loading tex-groups with non-existing file#4839

Merged
tobiasdiez merged 3 commits intomasterfrom fix4735Apr 2, 2019

Commits

Commits on Apr 2, 2019