Korrektur des letzten Commits.
[wortliste.git] / skripte / 
tree6eee3b2fe73f13e97fb4e3b722fe0e562a113edb
drwxr-xr-x   ..
-rw-r--r-- 725 HOWTO.new-words
-rw-r--r-- 6581 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-- 16290 erzeuge-wortliste.pl
-rw-r--r-- 9941 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
drwxr-xr-x - perl
-rw-r--r-- 631 prepare-wordlist.sh
drwxr-xr-x - python
-rwxr-xr-x 5640 sort.py
-rw-r--r-- 597 strippunct.sed
-rwxr-xr-x 3851 umformatierung.py
-rw-r--r-- 3666 validate.lua
-rw-r--r-- 274 words2tex.sed