${h.form(h.url.current(), method='GET', id='at_rev_form')}
${h.hidden('refs_filter')}
${h.text('at_rev',value=c.commit.revision)}
${h.end_form()} % if h.HasRepoPermissionAny('repository.write','repository.admin')(c.repo_name): % endif
## file tree is computed from caches, and filled in
${c.file_tree}