directory /auto/ @ 9232:9a0849fd4b46 default tip

name size permissions
[up] drwxr-xr-x
dir. cc/ drwxr-xr-x
dir. lib/ drwxr-xr-x
dir. os/ drwxr-xr-x
dir. types/ drwxr-xr-x
file configure 2611 -rwxr-xr-x
file define 141 -rw-r--r--
file endianness 889 -rw-r--r--
file feature 2812 -rw-r--r--
file have 136 -rw-r--r--
file have_headers 137 -rw-r--r--
file headers 411 -rw-r--r--
file include 1020 -rw-r--r--
file init 768 -rw-r--r--
file install 4875 -rw-r--r--
file make 18382 -rw-r--r--
file module 3934 -rw-r--r--
file modules 42341 -rw-r--r--
file nohave 136 -rw-r--r--
file options 25948 -rw-r--r--
file sources 8905 -rw-r--r--
file stubs 120 -rw-r--r--
file summary 2032 -rw-r--r--
file threads 394 -rw-r--r--
file unix 27475 -rw-r--r--