extract-tex.pl: Aktualisiert.
commitdae04b1e18fb3d2b9c022030e8ffb87a8892f245
authorWerner Lemberg <wl@gnu.org>
Thu, 1 Nov 2018 21:21:48 +0000 (1 22:21 +0100)
committerWerner Lemberg <wl@gnu.org>
Thu, 1 Nov 2018 21:21:48 +0000 (1 22:21 +0100)
tree97dea9568da5ca20dddeb9a5b617ce8490828777
parentc1d18d9e20e2dfaa6dddb1748d89faad281b3e55
extract-tex.pl: Aktualisiert.
skripte/extract-tex.pl