comparison src/surfmode.inc @ 445:d770f3d204c5

minor: Default timeout is 5min
author heinrichsweikamp
date Thu, 18 Aug 2016 12:41:16 +0200
parents 6f3530eb48f9
children 44b8a826b314
comparison
equal deleted inserted replaced
444:d93d75ae01bf 445:d770f3d204c5