{% 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 %}{{ total }} files
{%- endif %} {%- if truncated %}[Large tree: only the first {{ total }} paths are searched]
{%- endif %} {% endblock %}