Simpler handling of platforms with bad timer_create()
[xapian.git] / config / 
tree2686efd511370e1a49ebfb13079938c0e0fe32dd
drwxr-xr-x   ..
-rwxr-xr-x 43764 config.guess
-rwxr-xr-x 36159 config.sub