spike › NosmokeTutorial › CollectiveCodeOwnership › LinusTorvalds › ReallyGoodEditor › PairProgramming
".$options[timer]->Write()."