Trennstile: Update und Dokumentation, trenne_gn().
commitdd014d38e4af18f21916d985e37e263499260894
authorGünter Milde <milde@users.sf.net>
Thu, 14 Jun 2018 17:10:03 +0000 (14 19:10 +0200)
committerGünter Milde <milde@users.sf.net>
Thu, 14 Jun 2018 17:10:33 +0000 (14 19:10 +0200)
tree38162718670d1581597a0efc87270d2e25a851ce
parentd4bf8ec7ebfdaf4753e6c1cc3c5fa60228755cab
Trennstile: Update und Dokumentation, trenne_gn().
dokumente/Trennstile.txt
skripte/python/edit_tools/stilfilter.py