tree 67e2cc22c6923124eb8249267b71a70669206e36
parent 14ce82886febc259ff590d3b872a31bd9812a843
author Shawn Pearce <sop@google.com> 1356153345 -0800
committer Shawn Pearce <sop@google.com> 1356554671 -0800

Add (mirrored from $url) on repository index pages

When a repository is mirrored from another location, the site may
want to list the upstream URL to document where it is mirrored from.

Change-Id: Ic717d5b43b2e1e3d7cf488a3172c7ca60874ac8d