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 </div> |
20 </div> |
21 <div class="page_nav"> |
21 <div class="page_nav"> |
22 <a href="?cmd=summary;style=gitweb">summary</a> | shortlog | <a href="?cmd=changelog;rev=#rev#;style=gitweb">changelog</a> | <a href="?cmd=tags;style=gitweb">tags</a> | <a href="?cmd=manifest;manifest=#manifest#;path=/;style=gitweb">manifest</a>#archives%archiveentry#<br/> |
22 <a href="?cmd=summary;style=gitweb">summary</a> | shortlog | <a href="?cmd=changelog;rev=#rev#;style=gitweb">changelog</a> | <a href="?cmd=tags;style=gitweb">tags</a> | <a href="?mf=#node|short#;path=/;style=gitweb">manifest</a>#archives%archiveentry#<br/> |
23 <br/> |
23 <br/> |
24 |
24 |
25 #changenav%navshortentry#<br/> |
25 #changenav%navshortentry#<br/> |
26 </div> |
26 </div> |
27 |
27 |