Trennstile und -filter
[wortliste.git] / skripte / log2words.sed
blob0c94c47df10576f066804a9800602f7d7b53e72d
1 1 ,/Underfull/ d
2 /^Underfull/ d
3 /^\*\*\*/ d
4 /^\\hbox/ d
5 s|^.*/m/n/10 ||
6 /^ *$/ d
7 /(\./,$ d