Fix bug 5055
tree3c7cec5094e71fbf4c7bf903b53c41f6ab5c6cb3
-rw-r--r-- 5958 .bzrignore
-rw-r--r-- 5244 .gitignore
-rw-r--r-- 332 BUGS.txt
-rw-r--r-- 35147 COPYING
-rw-r--r-- 11494 NEWS
-rw-r--r-- 5780 README
-rw-r--r-- 5250 TODO
-rw-r--r-- 4911 WHATSNEW.txt
-rw-r--r-- 5388 howto.txt
drwxr-xr-x - packaging
-rw-r--r-- 30929 prog_guide.txt
drwxr-xr-x - source
drwxr-xr-x - swat
-rw-r--r-- 2478 swat2.txt
drwxr-xr-x - testdata
drwxr-xr-x - testprogs