Sync docs from master to gh-pages

2017-08-29 08:09:16 +00:00
parent bf474ba28f
commit 35f8526eba
3 changed files with 7 additions and 7 deletions
--- a/4
+++ b/4
@@ -1,2 +1,2 @@
-#Tue Aug 29 09:54:03 CEST 2017
-configuration*?=EB4133EE3A71541EAE82738A940612CD099BE89F
+#Tue Aug 29 08:08:10 UTC 2017
+configuration*?=7DF68C2DFDA78CDA9DA5D6C9D1024FEEE69AE1D5