equal
deleted
inserted
replaced
59 <td style="font-family:monospace">{permissions|permissions}</td> |
59 <td style="font-family:monospace">{permissions|permissions}</td> |
60 </tr> |
60 </tr> |
61 </table> |
61 </table> |
62 </div> |
62 </div> |
63 |
63 |
64 <div class="page_path description"> |
64 <div class="page_path description">{desc|strip|escape|websub|nonempty}</div> |
65 {desc|strip|escape|websub|addbreaks|nonempty} |
|
66 </div> |
|
67 |
65 |
68 <div class="page_body"> |
66 <div class="page_body"> |
69 <pre class="sourcelines stripes" |
67 <pre class="sourcelines stripes" |
70 data-logurl="{url|urlescape}log/{symrev}/{file|urlescape}" |
68 data-logurl="{url|urlescape}log/{symrev}/{file|urlescape}" |
71 data-selectabletag="SPAN" |
69 data-selectabletag="SPAN" |