diff options
Diffstat (limited to 'docs/templates/versions.html')
| -rw-r--r-- | docs/templates/versions.html | 37 |
1 files changed, 0 insertions, 37 deletions
diff --git a/docs/templates/versions.html b/docs/templates/versions.html deleted file mode 100644 index 198630dd7..000000000 --- a/docs/templates/versions.html +++ /dev/null @@ -1,37 +0,0 @@ -<div class="rst-versions" data-toggle="rst-versions" role="note" aria-label="versions"> - <span class="rst-current-version" data-toggle="rst-current-version"> - <span class="fa fa-book"> Ports and Versions</span> - {{ port }} ({{ port_version }}) - <span class="fa fa-caret-down"></span> - </span> - <div class="rst-other-versions"> - <dl> - <dt>Ports</dt> - {% for slug, url in all_ports %} - <dd><a href="{{ url }}">{{ slug }}</a></dd> - {% endfor %} - </dl> - <dl> - <dt>Versions</dt> - {% for slug, url in all_versions %} - <dd><a href="{{ url }}">{{ slug }}</a></dd> - {% endfor %} - </dl> - <dl> - <dt>Downloads</dt> - {% for type, url in downloads %} - <dd><a href="{{ url }}">{{ type }}</a></dd> - {% endfor %} - </dl> - <hr/> - <dl> - <dt>External links</dt> - <dd> - <a href="http://www.micropython.org">micropython.org</a> - </dd> - <dd> - <a href="https://github.com/micropython/micropython">GitHub</a> - </dd> - </dl> - </div> -</div> |