directory /cgitools/ @ 56:42d7888272a0 default tip

name size permissions
[up] drwxr-xr-x
dir. fetch/ drwxr-xr-x
dir. search/ drwxr-xr-x
dir. submit/ drwxr-xr-x
dir. summary/ drwxr-xr-x
file Makefile 99 -rw-r--r--
file cgitools.mk 42 -rw-r--r--