{% extends "base.html" %} {% block content %} {% include "repo_nav.html" %} {% include "crumbs.html" %} {%- if !q.is_empty() %}

{{ matched }} of {{ total }} files{% if matched > hits.len() %} ยท showing {{ hits.len() }}{% endif %}

{%- if hits.is_empty() %}

[No matches]

{%- else %} {%- endif %} {%- else %}

{{ total }} files

{%- endif %} {%- if truncated %}

[Large tree: only the first {{ total }} paths are searched]

{%- endif %} {% endblock %}