{% for extension in extension_list %} {% endfor %}
Extension Autorisation infra pour utiliser l'extension Enregistrement A origin
{{ 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 %}