From cc0865cc0116e8dbedd5534bd808249fc9f5e638 Mon Sep 17 00:00:00 2001
From: Travis CI
Date: Fri, 7 Oct 2016 22:35:56 +0000
Subject: [PATCH] Deploy to GitHub Pages:
127cc20a1d4065e1aeff8355ad75c84b14301d4d
---
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 b359f5ab..80654f85 100644
--- a/develop/doc/html/index.html
+++ b/develop/doc/html/index.html
@@ -120,7 +120,7 @@
-Last revised: October 07, 2016 at 16:41:16 GMT |
+Last revised: October 07, 2016 at 22:35:34 GMT |
|
diff --git a/develop/doc/html/reference/index.html b/develop/doc/html/reference/index.html
index 13cf65c4..765f7c43 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:41:21 GMT |
+Last revised: October 07, 2016 at 22:35:39 GMT |
|
diff --git a/develop/doc/html/tutorial/index.html b/develop/doc/html/tutorial/index.html
index a8873b7c..adc93ca5 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:41:30 GMT |
+Last revised: October 07, 2016 at 22:35:48 GMT |
|