Added patches from Paul Eggert.
tree8c6d5d50612cb8fa002c1ad36bb65b2fa08abb1d
-rw-r--r-- 17982 COPYING
-rw-r--r-- 5409 README
drwxr-xr-x - docs
drwxr-xr-x - examples
drwxr-xr-x - source