{% set URL_PREFIX = get_url_prefix() %}
{% block title %}Welcome to Sandstone IDE!{% end %}
{% block extra_head %} {% end %}
Toggle navigation
Sandstone IDE
{% for app in get_app_descriptions() %}
{{ app['name'] }}
{% end %}
{% block content %} {% end %} {% block extra_script %} {% end %}