directory /src/linux/ @ 3216:6fc2e1efcb9a

name size permissions
[up] drwxr-xr-x
dir. doc/ man drwxr-xr-x