From 8a8ed0a2a991a59e9b4aaff5531a9de3066bae63 Mon Sep 17 00:00:00 2001 From: Johannes Ranke Date: Fri, 4 Nov 2016 15:50:00 +0100 Subject: Use github URL again --- docs/authors.html | 7 ++++++- docs/index.html | 9 ++++++++- 2 files changed, 14 insertions(+), 2 deletions(-) (limited to 'docs') diff --git a/docs/authors.html b/docs/authors.html index 1490de9b..fe3e6114 100644 --- a/docs/authors.html +++ b/docs/authors.html @@ -60,7 +60,12 @@ diff --git a/docs/index.html b/docs/index.html index c7d07e39..a3a0e46c 100644 --- a/docs/index.html +++ b/docs/index.html @@ -24,7 +24,13 @@
  • News
  • - + @@ -103,6 +109,7 @@