directory / @ 4421:95bb7e28d761

name size permissions
dir. etc/ drwxr-xr-x
dir. lib-src/ drwxr-xr-x
dir. lisp/ drwxr-xr-x
dir. lispref/ drwxr-xr-x
dir. src/ drwxr-xr-x
file =PROBLEMS 30940 -rw-r--r--
file GETTING.GNU.SOFTWARE 4558 -rw-r--r--
file INSTALL 21549 -rw-r--r--
file Makefile.in 21960 -rw-r--r--
file build-ins.in 4767 -rwxr-xr-x
file config.guess 5372 -rwxr-xr-x
file config.sub 14319 -rwxr-xr-x
file configure1.in 34035 -rwxr-xr-x
file make-dist 11487 -rwxr-xr-x