Project

General

Profile

« Previous | Next » 

Revision 9523

Added by Aaron Marcuse-Kubitza over 11 years ago

lib/profiling.py: Profiler: added add_time() and use it instead of `self.total +=`

  • added
  • modified
  • copied
  • renamed
  • deleted