diff src/checker.cpp @ 33:cf18645ff411

Longer timeout; seems to be necessary sometimes on Windows especially
author Chris Cannam
date Sun, 05 Mar 2017 17:15:22 +0000
parents 7a20698b4c29
children 4154894d638c
line wrap: on
line diff