directory /checker/ @ 64:e839338d3869 tip

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 4180 -rw-r--r--