equal
deleted
inserted
replaced
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="?sl=tip">shortlog</a> |
12 <a href="?tags=">tags</a> |
12 <a href="?tags=">tags</a> |
13 <a href="?f=#filenode|short#;file=#file|urlescape#">file</a> |
13 <a href="?f=#node|short#;file=#file|urlescape#">file</a> |
14 <a href="?fa=#filenode|short#;file=#file|urlescape#">annotate</a> |
14 <a href="?fa=#node|short#;file=#file|urlescape#">annotate</a> |
15 <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> |
16 </div> |
16 </div> |
17 |
17 |
18 <h2>#file|escape# revision history</h2> |
18 <h2>#file|escape# revision history</h2> |
19 |
19 |