equal
deleted
inserted
replaced
10 </div> |
10 </div> |
11 |
11 |
12 <h2>searching for #query|escape#</h2> |
12 <h2>searching for #query|escape#</h2> |
13 |
13 |
14 <form> |
14 <form> |
|
15 <p> |
15 search: |
16 search: |
16 <input type="hidden" name="cmd" value="changelog"> |
17 <input type="hidden" name="cmd" value="changelog"> |
17 <input name="rev" type="text" width="30" value="#query|escape#"> |
18 <input name="rev" type="text" width="30" value="#query|escape#"> |
|
19 </p> |
18 </form> |
20 </form> |
19 |
21 |
20 #entries# |
22 #entries# |
21 |
23 |
22 <form> |
24 <form> |
|
25 <p> |
23 search: |
26 search: |
24 <input type="hidden" name="cmd" value="changelog"> |
27 <input type="hidden" name="cmd" value="changelog"> |
25 <input name="rev" type="text" width="30"> |
28 <input name="rev" type="text" width="30" value="#query|escape#"> |
|
29 </p> |
26 </form> |
30 </form> |
27 |
31 |
28 #footer# |
32 #footer# |