{% extends "base.html" %} {% block content %} {% if tools %}
{% for t in tools %}{% endfor %}
{{ _('tool') }}{{ _('version') }}{{ _('description') }}
{{ t.name }}{{ t.version }}{{ t.description }}
{% else %}

{{ _('Tools') }}

{{ _('No tools are installed. This section is reserved for future post-processing extensions.') }}

docs/TOOLS.md {{ _('describes the contract a future tool must follow.') }}

{% endif %} {% endblock %}