{{ extension.name }} |
{{ extension.need_infra }} |
{{ extension.origin }} |
{% if is_infra %}
{% include 'buttons/edit.html' with href='machines:edit-extension' id=extension.id %}
{% endif %}
{% include 'buttons/history.html' with href='machines:history' name='extension' id=extension.id %}
|
{% endfor %}