From 1cddba437e4997671c8825db35865189f5f28d6a Mon Sep 17 00:00:00 2001
From: Travis CI
Date: Fri, 7 Oct 2016 16:32:00 +0000
Subject: [PATCH] Deploy to GitHub Pages:
9d96b5abc8dd95ef4800e98bd6bb2bf131594673
---
develop/doc/html/index.html | 2 +-
develop/doc/html/reference/index.html | 2 +-
develop/doc/html/tutorial/index.html | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/develop/doc/html/index.html b/develop/doc/html/index.html
index c071591a..b85060e8 100644
--- a/develop/doc/html/index.html
+++ b/develop/doc/html/index.html
@@ -120,7 +120,7 @@
-Last revised: October 07, 2016 at 16:16:26 GMT |
+Last revised: October 07, 2016 at 16:31:38 GMT |
|
diff --git a/develop/doc/html/reference/index.html b/develop/doc/html/reference/index.html
index bd407785..b4fd826d 100644
--- a/develop/doc/html/reference/index.html
+++ b/develop/doc/html/reference/index.html
@@ -128,7 +128,7 @@
-Last revised: October 07, 2016 at 16:16:31 GMT |
+Last revised: October 07, 2016 at 16:31:43 GMT |
|
diff --git a/develop/doc/html/tutorial/index.html b/develop/doc/html/tutorial/index.html
index c2315dd2..eaacf8c8 100644
--- a/develop/doc/html/tutorial/index.html
+++ b/develop/doc/html/tutorial/index.html
@@ -140,7 +140,7 @@
-Last revised: October 07, 2016 at 16:16:41 GMT |
+Last revised: October 07, 2016 at 16:31:52 GMT |
|