patch #8351
tree64a3f07905e0066574bfc5b10615a47192b16373
-rw-r--r-- 462 .cvsignore
-rw-r--r-- 67 ChangeLog
-rw-r--r-- 18018 Copying.txt
-rw-r--r-- 35 Developers.txt
-rw-r--r-- 24 Install.txt
drwxr-xr-x - build
drwxr-xr-x - config
-rwxr-xr-x 1200 configure
drwxr-xr-x - distrib
drwxr-xr-x - docs
drwxr-xr-x - icons
drwxr-xr-x - packages
drwxr-xr-x - patches
drwxr-xr-x - src
drwxr-xr-x - tools