]> mj.ucw.cz Git - moe.git/tree
Added real and case-insensitive modes to judge-tok.
-rw-r--r-- 50 .gitignore
-rw-r--r-- 1055 Makefile
-rw-r--r-- 1066 README
-rw-r--r-- 853 TODO
drwxr-xr-x - bin
-rw-r--r-- 4700 config
drwxr-xr-x - doc
drwxr-xr-x - examples
-rw-r--r-- 0 exceptions
drwxr-xr-x - judge
drwxr-xr-x - maint
drwxr-xr-x - misc
drwxr-xr-x - mop
drwxr-xr-x - public
drwxr-xr-x - src
drwxr-xr-x - submit
drwxr-xr-x - template
-rw-r--r-- 934 userlist