Fix two bugs in ok_to_prune() (2)
-rw-r--r-- 35821 Copying.txt
-rw-r--r-- 3988 Readme.txt
-rw-r--r-- 1760 polyglot.ini
drwxr-xr-x - src