patch #7274
treef11cc461d89ff862e638544c3238006f88addfdf
-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 1167 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