aboutsummaryrefslogtreecommitdiff
path: root/common
diff options
context:
space:
mode:
authorChristian Grothoff <christian@grothoff.org>2019-07-07 20:46:17 +0200
committerChristian Grothoff <christian@grothoff.org>2019-07-07 20:46:17 +0200
commit8864e979396d5162130e49b57ba67adfbec1f421 (patch)
treeb13e69aaf051e73e1c37aa3a76cc1ea1d43deba3 /common
parentaf4f18b2363772e621d626e267046a1a58230ef2 (diff)
parent91d8a3fea4953698194b676a086ba5fc892c7f85 (diff)
downloadwww-8864e979396d5162130e49b57ba67adfbec1f421.tar.gz
www-8864e979396d5162130e49b57ba67adfbec1f421.zip
Merge branch 'master' into stable
Diffstat (limited to 'common')
-rw-r--r--common/navigation.j2.inc1
1 files changed, 1 insertions, 0 deletions
diff --git a/common/navigation.j2.inc b/common/navigation.j2.inc
index 8384a6ca..2b584b0d 100644
--- a/common/navigation.j2.inc
+++ b/common/navigation.j2.inc
@@ -64,6 +64,7 @@
64 <li><a class="dropdown-item" href="architecture.html">{{ _("System Architecture") }}</a></li> 64 <li><a class="dropdown-item" href="architecture.html">{{ _("System Architecture") }}</a></li>
65 <li><a class="dropdown-item" href="https://bugs.gnunet.org" target="_blank">{{ _("Bug Tracker") }}</a></li> 65 <li><a class="dropdown-item" href="https://bugs.gnunet.org" target="_blank">{{ _("Bug Tracker") }}</a></li>
66 <li><a class="dropdown-item" href="https://git.gnunet.org" target="_blank">{{ _("Source Code") }}</a></li> 66 <li><a class="dropdown-item" href="https://git.gnunet.org" target="_blank">{{ _("Source Code") }}</a></li>
67 <li><a class="dropdown-item" target="_blank" href="https://doxygen.gnunet.org">{{ _("Source Code Documentation") }}</a></li>
67 <!-- 68 <!--
68 /* Until there is no functional CI we don't show this */ 69 /* Until there is no functional CI we don't show this */
69 <li><a class="dropdown-item" href="https://gitlab.gnunet.org/" target="_blank">{{ _("Continuous Integration") }}</a></li> 70 <li><a class="dropdown-item" href="https://gitlab.gnunet.org/" target="_blank">{{ _("Continuous Integration") }}</a></li>