From 2eb6c8e16b1b9943a7c0639edc0191f161fafbd1 Mon Sep 17 00:00:00 2001 From: Ruben Verweij Date: Wed, 15 Mar 2017 10:22:11 +0100 Subject: [PATCH] update docs --- docs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs b/docs index ca4aa37..1972b01 160000 --- a/docs +++ b/docs @@ -1 +1 @@ -Subproject commit ca4aa37a94bb0367e708fb9f6d688e8713c51796 +Subproject commit 1972b012f71a4c65b927ddfef5bf88d66ef521ef