Newer
Older
{%- extends "sphinx_rtd_theme/layout.html" %}
{% set script_files = script_files + ['_static/getthecode.js'] %}
{%- extends "sphinx_rtd_theme/layout.html" %}
{% set script_files = script_files + ['_static/getthecode.js'] %}