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">changelog</a> |
7 <a href="?cmd=changelog">changelog</a> |
|
8 <a href="?cmd=tags">tags</a> |
8 <a href="?cmd=file;file=#file#;filenode=#filenode#">file</a> |
9 <a href="?cmd=file;file=#file#;filenode=#filenode#">file</a> |
9 <a href="?cmd=annotate;file=#file#;filenode=#filenode#">annotate</a> |
10 <a href="?cmd=annotate;file=#file#;filenode=#filenode#">annotate</a> |
10 </div> |
11 </div> |
11 |
12 |
12 <h2>#file# revision history</h2> |
13 <h2>#file# revision history</h2> |