removed if-depth (by Emmanuel)
tree6c44a34dd490c17ff7c5bac2233d6d54595c2539
-rw-r--r-- 167 .gitignore
-rw-r--r-- 510 .mailmap
-rw-r--r-- 143 AUTHORS
-rw-r--r-- 30057 CODING
-rw-r--r-- 18093 COPYING
drwxr-xr-x - Documentation
-rw-r--r-- 4303 HACKING
-rw-r--r-- 779 INSTALL
-rw-r--r-- 67 README
drwxr-xr-x - man
drwxr-xr-x - opt
drwxr-xr-x - sem
drwxr-xr-x - src
drwxr-xr-x - usr