{% extends "base.html" %} {% block content %} {% if tools %}
| {{ _('tool') }} | {{ _('version') }} | {{ _('description') }} |
|---|---|---|
{{ t.name }} | {{ t.version }} | {{ t.description }} |
{{ _('No tools are installed. This section is reserved for future post-processing extensions.') }}
docs/TOOLS.md {{ _('describes the contract a future tool must follow.') }}