equal
deleted
inserted
replaced
6 <body> |
6 <body> |
7 |
7 |
8 <div class="buttons"> |
8 <div class="buttons"> |
9 <a href="?cl=#rev#">changelog</a> |
9 <a href="?cl=#rev#">changelog</a> |
10 <a href="?cmd=tags">tags</a> |
10 <a href="?cmd=tags">tags</a> |
11 <a href="?mf=#manifest|short#;path=/">manifest</a> |
11 <a href="?mf=#node|short#;path=/">manifest</a> |
12 #archives%archiveentry# |
12 #archives%archiveentry# |
13 <a type="application/rss+xml" href="?style=rss">rss</a> |
13 <a type="application/rss+xml" href="?style=rss">rss</a> |
14 </div> |
14 </div> |
15 |
15 |
16 <h2>shortlog for #repo|escape#</h2> |
16 <h2>shortlog for #repo|escape#</h2> |