Update Trennstile und -filter.
commit7a6063a0e00e985767cacd0ea61f17cd3f4c4f10
authorGünter Milde <milde@users.sf.net>
Fri, 18 May 2018 21:58:45 +0000 (18 23:58 +0200)
committerGünter Milde <milde@users.sf.net>
Fri, 18 May 2018 22:01:30 +0000 (19 00:01 +0200)
tree39472412559628453f28d721767e8bf762c07902
parent289b4c137b62c2b822728fb6b56dc3faec972f86
Update Trennstile und -filter.

fix keine_einzelvokale()

Vereinfachte Filterauswahl: ein Trennstil ist eine Liste von
anderen Trennstilen oder Filtern.
skripte/python/edit_tools/sprachauszug.py
skripte/python/edit_tools/wortliste.py