Update docs
authorBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Wed, 21 Jun 2017 19:39:33 +0000 (21:39 +0200)
committerBjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com>
Wed, 21 Jun 2017 19:39:33 +0000 (21:39 +0200)
docs

diff --git a/docs b/docs
index 49afd52aea9249988f1a7b5f41f0b280d9ca7de0..d9bb19cbcb0315e8c38b6cf97113975317269c8a 160000 (submodule)
--- a/docs
+++ b/docs
@@ -1 +1 @@
-Subproject commit 49afd52aea9249988f1a7b5f41f0b280d9ca7de0
+Subproject commit d9bb19cbcb0315e8c38b6cf97113975317269c8a