patch #7500
treece81787652819274af0fe31dffd07e390c11680f
-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