directory /scripts/io/ @ 2983:145d5acfc68b

name size permissions
[up] drwxr-xr-x
file Makefile.in 1369 -rw-r--r--
file printf.m 1082 -rw-r--r--
file puts.m 1057 -rw-r--r--