directory /doc/ @ 4841:a8c464186ec9

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