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

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