patch #7756
tree9abc1ad12688293143df4b9280b91f9eef520ba0
-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