[extract-tex.pl] Behandle unerwünschte Trennungen nach einbuchstabigen.
commitdb492c894d3d36c13eededb49629c58d7acb1ca0
authorWerner Lemberg <wl@gnu.org>
Wed, 22 Aug 2018 10:58:30 +0000 (22 12:58 +0200)
committerWerner Lemberg <wl@gnu.org>
Wed, 22 Aug 2018 10:59:58 +0000 (22 12:59 +0200)
tree92eda48c72346be1d9ed698d021682521108338f
parentc46659da3689d4f34c26098be36f76ea965fe3e2
[extract-tex.pl] Behandle unerwünschte Trennungen nach einbuchstabigen.
skripte/extract-tex.pl