equal
deleted
inserted
replaced
17 <input type="text" name="rev" /> |
17 <input type="text" name="rev" /> |
18 </div> |
18 </div> |
19 </form> |
19 </form> |
20 |
20 |
21 <div class="page_nav"> |
21 <div class="page_nav"> |
22 <a href="{url}summary{sessionvars%urlparameter}">summary</a> | <a href="{url}shortlog/#rev#{sessionvars%urlparameter}">shortlog</a> | changelog | <a href="{url}tags{sessionvars%urlparameter}">tags</a> | <a href="{url}file/#node|short#{sessionvars%urlparameter}">manifest</a>#archives%archiveentry# |
22 <a href="{url}summary{sessionvars%urlparameter}">summary</a> | <a href="{url}shortlog/#rev#{sessionvars%urlparameter}">shortlog</a> | changelog | <a href="{url}tags{sessionvars%urlparameter}">tags</a> | <a href="{url}file/#node|short#{sessionvars%urlparameter}">files</a>#archives%archiveentry# |
23 <br/> |
23 <br/> |
24 #changenav%naventry#<br/> |
24 #changenav%naventry#<br/> |
25 </div> |
25 </div> |
26 |
26 |
27 #entries%changelogentry# |
27 #entries%changelogentry# |