Searched refs:clockdiffhelp (Results 1 – 1 of 1) sorted by relevance
43 const char clockdiffhelp[] = "measures clock differences between machines"; variable51 { "clockdiff", clockdiffhelp, clockdiff },