Fix __WIN32__ kill_remote() to wait for process exit
tree53a9d1d5dc29977d8227232649e0643a108521ee
-rw-r--r-- 4690 .appveyor.yml
-rw-r--r-- 4341 .clang-format
drwxr-xr-x - .github
-rw-r--r-- 109 .gitignore
-rw-r--r-- 1082 README
-rw-r--r-- 1749 Vagrantfile
-rwxr-xr-x 32325 bootstrap
drwxr-xr-x - config
drwxr-xr-x - patches
drwxr-xr-x - xapian-applications
drwxr-xr-x - xapian-bindings
drwxr-xr-x - xapian-core
drwxr-xr-x - xapian-data
drwxr-xr-x - xapian-letor
drwxr-xr-x - xapian-maintainer-tools