doy/reply — pull request #2 by frioux (2013-06-06 23:28:41+00:00)
Title: add Timer plugin

FYI, I tried to put the printing into print result, but that interacts poorly with Colors.