equal
deleted
inserted
replaced
8 <body> |
8 <body> |
9 |
9 |
10 <div class="page_header"> |
10 <div class="page_header"> |
11 <a href="{logourl}" title="Mercurial" style="float: right;">Mercurial</a> |
11 <a href="{logourl}" title="Mercurial" style="float: right;">Mercurial</a> |
12 <a href="/">Mercurial</a> {pathdef%breadcrumb} / help |
12 <a href="/">Mercurial</a> {pathdef%breadcrumb} / help |
|
13 {searchform} |
13 </div> |
14 </div> |
14 |
15 |
15 <div class="page_nav"> |
16 <div class="page_nav"> |
16 <a href="{url|urlescape}summary{sessionvars%urlparameter}">summary</a> | |
17 <a href="{url|urlescape}summary{sessionvars%urlparameter}">summary</a> | |
17 <a href="{url|urlescape}shortlog{sessionvars%urlparameter}">shortlog</a> | |
18 <a href="{url|urlescape}shortlog{sessionvars%urlparameter}">shortlog</a> | |