equal
deleted
inserted
replaced
6 </head> |
6 </head> |
7 <body> |
7 <body> |
8 |
8 |
9 <div class="buttons"> |
9 <div class="buttons"> |
10 <a href="?cl=tip">changelog</a> |
10 <a href="?cl=tip">changelog</a> |
|
11 <a href="?sl=tip">shortlog</a> |
11 <a href="?tags=">tags</a> |
12 <a href="?tags=">tags</a> |
12 <a href="?f=#filenode|short#;file=#file|urlescape#">file</a> |
13 <a href="?f=#filenode|short#;file=#file|urlescape#">file</a> |
13 <a href="?fa=#filenode|short#;file=#file|urlescape#">annotate</a> |
14 <a href="?fa=#filenode|short#;file=#file|urlescape#">annotate</a> |
14 <a type="application/rss+xml" href="?fl=0;file=#file|urlescape#;style=rss">rss</a> |
15 <a type="application/rss+xml" href="?fl=0;file=#file|urlescape#;style=rss">rss</a> |
15 </div> |
16 </div> |