equal
deleted
inserted
replaced
|
1 #header# |
|
2 <title>#repo|escape#: searching for #query|escape#</title> |
|
3 </head> |
|
4 <body> |
|
5 |
|
6 <div class="buttons"> |
|
7 <a href="?cl=tip">changelog</a> |
|
8 <a href="?sl=tip">shortlog</a> |
|
9 <a href="?tags=">tags</a> |
|
10 <a href="?mf=#node|short#;path=/">manifest</a> |
|
11 </div> |
|
12 |
|
13 <h2>searching for #query|escape#</h2> |
|
14 |
|
15 <form> |
|
16 <p> |
|
17 search: |
|
18 <input type="hidden" name="cmd" value="changelog"> |
|
19 <input name="rev" type="text" width="30" value="#query|escape#"> |
|
20 </p> |
|
21 </form> |
|
22 |
|
23 #entries# |
|
24 |
|
25 <form> |
|
26 <p> |
|
27 search: |
|
28 <input type="hidden" name="cmd" value="changelog"> |
|
29 <input name="rev" type="text" width="30" value="#query|escape#"> |
|
30 </p> |
|
31 </form> |
|
32 |
|
33 #footer# |