From fbad2e21728fa85969f3f787fbfdcc24f57ceb34 Mon Sep 17 00:00:00 2001 From: Christian Grothoff Date: Wed, 16 Jan 2019 13:08:52 +0100 Subject: fix link for tech.pdf --- developers.html.j2 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/developers.html.j2 b/developers.html.j2 index 6e8a000e..82eae58b 100644 --- a/developers.html.j2 +++ b/developers.html.j2 @@ -140,7 +140,7 @@ - + -- cgit v1.2.3