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