directory /src/os/ @ 3171:b4c24f3d6d4d

name size permissions
[up] drwxr-xr-x
dir. unix/ drwxr-xr-x
dir. win32/ drwxr-xr-x