equal
deleted
inserted
replaced
30 <li><a href="{url}raw-file/{node|short}/{file|urlescape}">raw</a></li> |
30 <li><a href="{url}raw-file/{node|short}/{file|urlescape}">raw</a></li> |
31 </ul> |
31 </ul> |
32 </div> |
32 </div> |
33 |
33 |
34 <div class="main"> |
34 <div class="main"> |
35 |
35 <h2><a href="{url}">{repo|escape}</a></h2> |
36 <h2>{repo|escape}</h2> |
|
37 <h3>log {file|escape}</h3> |
36 <h3>log {file|escape}</h3> |
38 |
37 |
39 <form class="search" action="{url}log"> |
38 <form class="search" action="{url}log"> |
40 {sessionvars%hiddenformentry} |
39 {sessionvars%hiddenformentry} |
41 <p><input name="rev" id="search1" type="text" size="30"></p> |
40 <p><input name="rev" id="search1" type="text" size="30"></p> |