Commit c16a02e661474a3f75450f3435d9f7f6ce757f01

Disable timing
timApp/timtiming.py
(1 / 1)
  
88
99
1010def taketime(s1="", s2="", n=0):
11 # return # comment this to take times, uncomment for production and tests
11 return # comment this to take times, uncomment for production and tests
1212 global timing_last
1313 global timing_last_t
1414 t22 = time.clock()