erzeuge-wortliste.pl: Behandle `[.../...]'.
commitb0517f4907d011dd276d321d565ba08c8063131b
authorWerner Lemberg <wl@gnu.org>
Tue, 18 Oct 2016 16:37:50 +0000 (18 18:37 +0200)
committerWerner Lemberg <wl@gnu.org>
Tue, 18 Oct 2016 16:37:50 +0000 (18 18:37 +0200)
treee5648936777984ff588e58f83b5ebe03896ec814
parent18c2a4fb100c5b430a609b7d8d43fe379731a7e2
erzeuge-wortliste.pl: Behandle `[.../...]'.
skripte/erzeuge-wortliste.pl