directory /doc/ @ 4819:b16394552c16

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--