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="?cl=#rev#">changelog</a> |
7 <a href="?cl=#rev#">changelog</a> |
|
8 <a href="?sl=#rev#">shortlog</a> |
8 <a href="?cmd=tags">tags</a> |
9 <a href="?cmd=tags">tags</a> |
9 <a href="?mf=#manifest|short#;path=/">manifest</a> |
10 <a href="?mf=#manifest|short#;path=/">manifest</a> |
10 <a href="?cs=#node|short#;style=raw">raw</a> |
11 <a href="?cs=#node|short#;style=raw">raw</a> |
11 #archives%archiveentry# |
12 #archives%archiveentry# |
12 </div> |
13 </div> |