directory /defs/ @ 425:e7cb2d2bfb76

name size permissions
[up] drwxr-xr-x
file l51.defs 3799 -rw-r--r--
file l52.defs 4296 -rw-r--r--
file m51.defs 3108 -rw-r--r--
file m52.defs 3526 -rw-r--r--
file os9defs 43647 -rw-r--r--
file pipedefs 2689 -rw-r--r--
file pipedefs.l2v3 3391 -rw-r--r--
file rbfdefs 9353 -rw-r--r--
file scfdefs 7504 -rw-r--r--
file systype 38195 -rw-r--r--
file vdgdefs 3765 -rw-r--r--