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