From 2a2fcff426766a1fc0ca4749894ae779382b29ea Mon Sep 17 00:00:00 2001
From: Travis CI
Date: Fri, 7 Oct 2016 16:41:39 +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 b85060e8..b359f5ab 100644
--- a/develop/doc/html/index.html
+++ b/develop/doc/html/index.html
@@ -120,7 +120,7 @@
-Last revised: October 07, 2016 at 16:31:38 GMT |
+Last revised: October 07, 2016 at 16:41:16 GMT |
|
diff --git a/develop/doc/html/reference/index.html b/develop/doc/html/reference/index.html
index b4fd826d..13cf65c4 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:31:43 GMT |
+Last revised: October 07, 2016 at 16:41:21 GMT |
|
diff --git a/develop/doc/html/tutorial/index.html b/develop/doc/html/tutorial/index.html
index eaacf8c8..a8873b7c 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:31:52 GMT |
+Last revised: October 07, 2016 at 16:41:30 GMT |
|