Neuer Trennstil "dehyphen".
commit06d2ffae7ac0a1c11e263103f1dbd15478937d65
authorGünter Milde <milde@users.sf.net>
Wed, 9 May 2018 08:33:36 +0000 (9 10:33 +0200)
committerGünter Milde <milde@users.sf.net>
Wed, 9 May 2018 08:33:36 +0000 (9 10:33 +0200)
treeade10816295eca5367c5e38f7c4e65db35e6c915
parentf5a6f7588802f7861c885a00804fa5d92bacc82a
Neuer Trennstil "dehyphen".

Wähle Trennungen wie bisher im 'dehyphen-exptl' TeX-Paket
(etymologisch, keine „Flatterbuchstaben“).
dokumente/Trennstile.txt
skripte/python/edit_tools/sprachauszug.py
skripte/python/edit_tools/wortliste.py