Sync docs from master to gh-pages

2017-08-29 11:37:54 +02:00
parent 985ba8b4fa
commit 120bb7d670
19 changed files with 906 additions and 3 deletions
--- a/2
+++ b/2
@@ -1,2 +1,2 @@
-#Tue Aug 29 10:48:25 CEST 2017
+#Tue Aug 29 11:36:46 CEST 2017
 configuration*?=AAF64E6F43093085564EA8A1303772CC40B65829