{% extends "index.html" %} {% block workspace_header %}
{% block page_title %}{% endblock %}
{% block page_description %}{% endblock %}
{% block page_button_top %}{% endblock %}
{% block searchbar %}
{% block page_button %}{% endblock %}
{% endblock %} {% block warning %}
Changes have been made to some plugins that will only take effect after running launch platform.
{% endblock %} {% endblock %}