current state
tree294272923588b0779037b0a1a22db018dc27122d
-rw-r--r-- 167 .gitignore
-rw-r--r-- 510 .mailmap
-rw-r--r-- 224 AUTHORS
-rw-r--r-- 30057 CODING
-rw-r--r-- 18093 COPYING
-rw-r--r-- 4303 HACKING
-rw-r--r-- 779 INSTALL
-rw-r--r-- 67 README
drwxr-xr-x - doc
drwxr-xr-x - log
drwxr-xr-x - man
drwxr-xr-x - opt
drwxr-xr-x - sem
drwxr-xr-x - src
drwxr-xr-x - talk
drwxr-xr-x - usr