equal
deleted
inserted
replaced
6 href="{url}rss-log" title="RSS feed for {repo|escape}"/> |
6 href="{url}rss-log" title="RSS feed for {repo|escape}"/> |
7 </head> |
7 </head> |
8 <body> |
8 <body> |
9 |
9 |
10 <div class="page_header"> |
10 <div class="page_header"> |
11 <a href="http://www.selenic.com/mercurial/" title="Mercurial" style="float: right;">Mercurial</a><a href="{url}summary{sessionvars%urlparameter}">{repo|escape}</a> / search |
11 <a href="http://mercurial.selenic.com/" title="Mercurial" style="float: right;">Mercurial</a><a href="{url}summary{sessionvars%urlparameter}">{repo|escape}</a> / search |
12 |
12 |
13 <form action="{url}log"> |
13 <form action="{url}log"> |
14 {sessionvars%hiddenformentry} |
14 {sessionvars%hiddenformentry} |
15 <div class="search"> |
15 <div class="search"> |
16 <input type="text" name="rev" value="{query|escape}" /> |
16 <input type="text" name="rev" value="{query|escape}" /> |