direct-io.hg

directory /extras/ @ 4258:beb68750d6e0

name size permissions
[up] drwxr-xr-x
dir. mini-os/ drwxr-xr-x