mirror of
https://github.com/zeek/zeek.git
synced 2025-10-02 06:38:20 +00:00
ded98cd373
This is based on commit 2731def9159247e6da8a3191783c89683363689c from the zeek-docs repo.
15 lines
656 B
HTML
15 lines
656 B
HTML
{% extends "!breadcrumbs.html" %}
|
|
|
|
{% block breadcrumbs_aside %}
|
|
<li class="wy-breadcrumbs-aside">
|
|
{% if pagename != "search" %}
|
|
{% if display_github %}
|
|
{% if github_version == "master" %}
|
|
<a href="https://{{ github_host|default("github.com") }}/{{ github_user }}/{{ github_repo }}/edit/{{ github_version }}{{ conf_py_path }}{{ pagename }}{{ page_source_suffix }}" class="fa fa-github"> {{ _('Edit on GitHub') }}</a>
|
|
{% endif %}
|
|
{% elif show_source and has_source and sourcename %}
|
|
<a href="{{ pathto('_sources/' + sourcename, true)|e }}" rel="nofollow"> {{ _('View page source') }}</a>
|
|
{% endif %}
|
|
{% endif %}
|
|
</li>
|
|
{% endblock %}
|