equal
deleted
inserted
replaced
2 <title>#repo|escape#: searching for #query|escape#</title> |
2 <title>#repo|escape#: searching for #query|escape#</title> |
3 </head> |
3 </head> |
4 <body> |
4 <body> |
5 |
5 |
6 <div class="buttons"> |
6 <div class="buttons"> |
7 <a href="?cl=#rev#">changelog</a> |
7 <a href="?cl=tip">changelog</a> |
8 <a href="?tags=">tags</a> |
8 <a href="?tags=">tags</a> |
9 <a href="?mf=#manifest|short#;path=/">manifest</a> |
9 <a href="?mf=#manifest|short#;path=/">manifest</a> |
10 </div> |
10 </div> |
11 |
11 |
12 <h2>searching for #query|escape#</h2> |
12 <h2>searching for #query|escape#</h2> |