extract-tex.pl: Entferne Randtrennstellen.
commit6137270b044801fc4e96bbcbd8c4ac0446ba4f1f
authorWerner Lemberg <wl@gnu.org>
Thu, 9 Aug 2018 06:42:37 +0000 (9 08:42 +0200)
committerWerner Lemberg <wl@gnu.org>
Thu, 9 Aug 2018 06:42:37 +0000 (9 08:42 +0200)
treec2d2fa145d22c2703fac804776237c60acefc72e
parent8acc251225db59b5a3270714a89ae1f3c69e4ce5
extract-tex.pl: Entferne Randtrennstellen.
skripte/extract-tex.pl