Py: timer.__repr__()
tree9095cb06edd400745de35ae92e09fcf3a400c877
-rw-r--r-- 1441 CREDITS.txt
-rw-r--r-- 1105 LICENSE.txt
-rw-r--r-- 262 Makefile
-rw-r--r-- 2100 README.txt
drwxr-xr-x - data
drwxr-xr-x - doc
drwxr-xr-x - scripts
drwxr-xr-x - src