diff checker-client.pro @ 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 8545be78b994
children a28b19b136e8
line wrap: on
line diff