[extract-tex.pl] Korrigiere Denkfehler.
commit3e26b5d30fdef91ee64697cacaa879bc8164ced8
authorWerner Lemberg <wl@gnu.org>
Thu, 9 Aug 2018 11:04:58 +0000 (9 13:04 +0200)
committerWerner Lemberg <wl@gnu.org>
Thu, 9 Aug 2018 11:04:58 +0000 (9 13:04 +0200)
tree7a884f36f15b30965edcffcf12853ee55d680568
parent6137270b044801fc4e96bbcbd8c4ac0446ba4f1f
[extract-tex.pl] Korrigiere Denkfehler.
skripte/extract-tex.pl