Sync docs from master to gh-pages

2017-08-29 10:49:18 +02:00
parent 76e9f6d64d
commit 985ba8b4fa
19 changed files with 425 additions and 419 deletions
--- a/2
+++ b/2
@@ -1,2 +1,2 @@
-#Tue Aug 29 10:25:58 CEST 2017
+#Tue Aug 29 10:48:25 CEST 2017
 configuration*?=AAF64E6F43093085564EA8A1303772CC40B65829