allow interrupts during search
tree647c6900a7b957163d01f8d9f48a8ae04ba47dcf
-rw-r--r-- 1309 NEWS
-rw-r--r-- 1791 README
-rw-r--r-- 530 TODO
-rwxr-xr-x 1478 flinks
drwxr-xr-x - flinkspkg
-rwxr-xr-x 683 setup.py
drwxr-xr-x - tools