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="?cmd=changelog;rev=#rev#">changelog</a> |
|
8 <a href="?cmd=tags">tags</a> |
|
9 <a href="?cmd=manifest;manifest=#manifest#;path=/">manifest</a> |
|
10 </div> |
|
11 |
|
12 <h2>searching for #query|escape#</h2> |
|
13 |
|
14 <form> |
|
15 search: |
|
16 <input type="hidden" name="cmd" value="changelog"> |
|
17 <input name="rev" type="text" width="30" value="#query|escape#"> |
|
18 </form> |
|
19 |
|
20 #entries# |
|
21 |
|
22 <form> |
|
23 search: |
|
24 <input type="hidden" name="cmd" value="changelog"> |
|
25 <input name="rev" type="text" width="30"> |
|
26 </form> |
|
27 |
|
28 #footer# |