Remove duplicate widgets caused by a bum merge.
tree837fa29b18734a63c839a0fabd5648abbee2c0a6
-rw-r--r-- 17 .cvsignore
-rw-r--r-- 15008 COPYRIGHT
-rw-r--r-- 116248 ChangeLog
-rw-r--r-- 1560 Makefile
-rw-r--r-- 19357 README
-rw-r--r-- 19460 ReleaseNotes
drwxr-xr-x - doc
drwxr-xr-x - makefiles
drwxr-xr-x - source
drwxr-xr-x - util