diff version.sh @ 18561:15fbdb09330f

configurable tuning timeout
author nicodvb
date Sun, 04 Jun 2006 23:04:42 +0000
parents ff09faee7c14
children 2dd3122e41f4
line wrap: on
line diff