extract-tex.pl: Kleine Dokumentationskorrekturen.
commit4fec3905f8c86500c16f03716e8fc091aaec2b37
authorWerner Lemberg <wl@gnu.org>
Mon, 25 Jan 2021 13:05:12 +0000 (25 14:05 +0100)
committerWerner Lemberg <wl@gnu.org>
Mon, 25 Jan 2021 13:05:12 +0000 (25 14:05 +0100)
tree0051dd9da1ca00b27af3d32550a1fb22f466146a
parentb97c6170132984c4c866e2cf34a4b516e37c00cb
extract-tex.pl: Kleine Dokumentationskorrekturen.
skripte/wortliste/extract-tex.pl