--- a/templates/results.html Mon May 11 01:31:25 2015 +0800
+++ b/templates/results.html Mon May 11 01:43:04 2015 +0800
{% if prevrev %}<a href="?rev=rev({{ prevrev }})">prev page</a>{% end %}
{% set nextrev = changesets[-1]['rev'] - 1 if changesets else None %}
{% if nextrev > -1 %}<a href="?rev=rev({{ nextrev }})">next page</a>{% end %}
+ <span style="color: #777;">
+ hover things for a tooltip; red means slowest ever, green means fastest
+ ever; first color and time means without .hg/cache, second means with