diff -r 54819e984a19 -r 9ca1e4706acc docs/src/index.html --- a/docs/src/index.html Thu Oct 12 20:37:46 2017 +0200 +++ b/docs/src/index.html Sun Oct 22 12:58:07 2017 +0200 @@ -28,6 +28,7 @@