Ergänze `Haarzopfer'.
[wortliste.git] / skripte / 
tree5349c35d3f4df31abc89654e21533cd63dc83632
drwxr-xr-x   ..
-rw-r--r-- 730 HOWTO.new-words
-rw-r--r-- 4695 MANIFEST
-rw-r--r-- 3582 apply-pattern.pl
-rw-r--r-- 5877 diff-patgen-input.awk
-rw-r--r-- 5354 diff-patgen-input.sh
-rw-r--r-- 9480 extract-tex.pl
-rw-r--r-- 311 hyph2wl.sh
-rw-r--r-- 92 log2words.sed
drwxr-xr-x - lua
-rw-r--r-- 2035 make-full-pattern.sh
-rw-r--r-- 247 make-hyphenlist.sh
-rwxr-xr-x 403 merge-wordslists.sh
-rw-r--r-- 468 prepare-wordlist.sh
drwxr-xr-x - python
-rwxr-xr-x 3677 sort.py
-rw-r--r-- 597 strippunct.sed
-rw-r--r-- 3666 validate.lua
-rw-r--r-- 274 words2tex.sed