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}">files</a>#archives%archiveentry# |
22 <a href="{url}summary{sessionvars%urlparameter}">summary</a> | |
|
23 <a href="{url}shortlog/#rev#{sessionvars%urlparameter}">shortlog</a> | |
|
24 changelog | |
|
25 <a href="{url}graph{sessionvars%urlparameter}">graph</a> | |
|
26 <a href="{url}tags{sessionvars%urlparameter}">tags</a> | |
|
27 <a href="{url}file/#node|short#{sessionvars%urlparameter}">files</a>#archives%archiveentry# |
23 <br/> |
28 <br/> |
24 #changenav%naventry#<br/> |
29 #changenav%naventry#<br/> |
25 </div> |
30 </div> |
26 |
31 |
27 #entries%changelogentry# |
32 #entries%changelogentry# |