directory /lisp/play/ @ 6523:d9d9ab5951dd

name size permissions
[up] drwxr-xr-x
file blackbox.el 14536 -rw-r--r--
file cookie1.el 6001 -rw-r--r--
file dissociate.el 3168 -rw-r--r--
file doctor.el 51231 -rw-r--r--
file dunnet.el 113033 -rw-r--r--
file gomoku.el 42120 -rw-r--r--
file hanoi.el 7744 -rw-r--r--
file life.el 10291 -rw-r--r--
file meese.el 856 -rw-r--r--
file mpuz.el 14960 -rw-r--r--
file spook.el 2220 -rw-r--r--
file studly.el 1725 -rw-r--r--
file yow.el 2774 -rw-r--r--