Merge branch 'master' of git+ssh://repo.or.cz/srv/git/wortliste
[wortliste.git] / skripte / 
tree489440558f3ffbf62f3044c9c0dd529d5de36242
drwxr-xr-x   ..
-rw-r--r-- 3483 apply-pattern.pl
-rw-r--r-- 3238 extract-tex.pl
-rw-r--r-- 2035 make-full-pattern.sh
-rw-r--r-- 7651 parse_wortliste.lua
drwxr-xr-x - python
-rw-r--r-- 1335 validate.lua