directory / @ 1518:eda3ace74d74

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 GETTING.GNU.SOFTWARE 3348 -rw-r--r--
file Makefile.in 9695 -rw-r--r--
file build-ins.in 4767 -rwxr-xr-x
file config.sub 11882 -rwxr-xr-x
file configure1.in 18888 -rwxr-xr-x
file make-dist 8062 -rwxr-xr-x