directory /lisp/play/ @ 8654:0334c1b51e87

name size permissions
[up] drwxr-xr-x
file blackbox.el 14536 -rw-r--r--
file cookie1.el 6001 -rw-r--r--
file dissociate.el 3258 -rw-r--r--
file doctor.el 51237 -rw-r--r--
file dunnet.el 113033 -rw-r--r--
file gomoku.el 41996 -rw-r--r--
file hanoi.el 7744 -rw-r--r--
file life.el 10291 -rw-r--r--
file meese.el 871 -rw-r--r--
file mpuz.el 14847 -rw-r--r--
file spook.el 2220 -rw-r--r--
file studly.el 1725 -rw-r--r--
file yow.el 2802 -rw-r--r--