directory /checker/ @ 51:dd193244d97d

name size permissions
[up] drwxr-xr-x
file checkcode.h 2918 -rw-r--r--
file knownplugincandidates.h 3409 -rw-r--r--
file knownplugins.h 3223 -rw-r--r--
file plugincandidates.h 4131 -rw-r--r--