equal
deleted
inserted
replaced
3 </head> |
3 </head> |
4 <body> |
4 <body> |
5 |
5 |
6 <div class="buttons"> |
6 <div class="buttons"> |
7 <a href="?cmd=changelog;rev=#rev#">changelog</a> |
7 <a href="?cmd=changelog;rev=#rev#">changelog</a> |
|
8 <a href="?cmd=tags">tags</a> |
8 <a href="?cmd=changeset;node=#node#">changeset</a> |
9 <a href="?cmd=changeset;node=#node#">changeset</a> |
9 <a href="?cmd=file;file=#file#;filenode=#filenode#">file</a> |
10 <a href="?cmd=file;file=#file#;filenode=#filenode#">file</a> |
10 <a href="?cmd=filelog;file=#file#;filenode=#filenode#">revisions</a> |
11 <a href="?cmd=filelog;file=#file#;filenode=#filenode#">revisions</a> |
11 <a href="?cmd=annotate;file=#file#;filenode=#filenode#">annotate</a> |
12 <a href="?cmd=annotate;file=#file#;filenode=#filenode#">annotate</a> |
12 </div> |
13 </div> |