equal
deleted
inserted
replaced
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} / changelog |
12 <a href="/">Mercurial</a> {pathdef%breadcrumb} / changelog |
13 </div> |
13 </div> |
14 |
14 |
15 <form action="{url|urlescape}log"> |
15 {searchform} |
16 {sessionvars%hiddenformentry} |
|
17 <div class="search"> |
|
18 <input type="text" name="rev" /> |
|
19 </div> |
|
20 </form> |
|
21 |
16 |
22 <div class="page_nav"> |
17 <div class="page_nav"> |
23 <a href="{url|urlescape}summary{sessionvars%urlparameter}">summary</a> | |
18 <a href="{url|urlescape}summary{sessionvars%urlparameter}">summary</a> | |
24 <a href="{url|urlescape}shortlog/{symrev}{sessionvars%urlparameter}">shortlog</a> | |
19 <a href="{url|urlescape}shortlog/{symrev}{sessionvars%urlparameter}">shortlog</a> | |
25 changelog | |
20 changelog | |