tree 4891217d1ecc524cbb032c1b877a8c87fb73e67a
parent 959b9389d1570055442be193225f66989cb51087
author Stephan Wahlbrink <sw@wahlbrink.eu> 1639576581 +0100
committer Stephan Wahlbrink <sw@wahlbrink.eu> 1639587479 +0100

Correct naming of TexCommand parameter class

Change-Id: Ie6b82597819414417aead439792cff7e73c607ec