##// END OF EJS Templates
Remove deprecated `newline_with_copy_margin` (#13949)...
Remove deprecated `newline_with_copy_margin` (#13949) Closes #13897 Removed deprecated `newline_with_copy_margin`. Use newline_autoindent_outer instead

File last commit:

r26481:80ca5372
r28125:113d2b09 merge
Show More
breadcrumbs.html
7 lines | 177 B | text/html | HtmlLexer
{%- extends "sphinx_rtd_theme/breadcrumbs.html" %}
{% block breadcrumbs_aside %}
{% if not meta or meta.get('github_url') != 'hide' %}
{{ super() }}
{% endif %}
{% endblock %}