directory /Doc/dist/ @ 25838:8540887bcec6 2.2

name size permissions
[up] drwxr-xr-x
file .cvsignore 21 -rw-r--r--
file dist.tex 58422 -rw-r--r--
file sysconfig.tex 4918 -rw-r--r--