directory /doc/ @ 4858:51e2089a73f1

name size permissions
[up] drwxr-xr-x
file HACKING 4189 -rw-r--r--
file NEW_FORMATS 1152 -rw-r--r--
file TODO 4759 -rw-r--r--
file proposed_pipeline.dia 2171 -rw-r--r--