directory /sinks/ @ 61:eff6bddf82e3 tip

name size permissions
[up] drwxr-xr-x
dir. @sink/ drwxr-xr-x
dir. @sinkarray/ drwxr-xr-x
dir. @sinkbase/ drwxr-xr-x
dir. @sinkbinop/ drwxr-xr-x
dir. @sinkcat/ drwxr-xr-x
dir. @sinkdrop/ drwxr-xr-x
dir. @sinkempty/ drwxr-xr-x
dir. @sinkfun/ drwxr-xr-x
dir. @sinkmap/ drwxr-xr-x
dir. @sinknull/ drwxr-xr-x
dir. @sinktake/ drwxr-xr-x
file sinkseq.m 707 -rw-r--r--
file sinkwriten.m 110 -rw-r--r--
file sinkws.m 185 -rw-r--r--