[extract-tex.pl] Und noch ein Denkfehler.
commitba48bae9582378ffc0eb0ae844a2d2c6c81ef59a
authorWerner Lemberg <wl@gnu.org>
Thu, 9 Aug 2018 15:07:04 +0000 (9 17:07 +0200)
committerWerner Lemberg <wl@gnu.org>
Thu, 9 Aug 2018 15:07:04 +0000 (9 17:07 +0200)
tree0bb355c6a213f47358c4a01ecc6aadf710c25ad6
parentf44d8c1b3b7b84bf8ad4b4dd797c614ce05ec646
[extract-tex.pl] Und noch ein Denkfehler.
skripte/extract-tex.pl