diff checker.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 2cc992ed9b42
children
line wrap: on
line diff