From 57a72e6158d52c4e39ee63087ad5da438f9daeff Mon Sep 17 00:00:00 2001 From: Travis CI Date: Tue, 27 Feb 2018 15:18:05 +0000 Subject: [PATCH] Deploy code docs to GitHub Pages Travis build: 173 Commit: 9b5250506829ba0e82275696e4e523d56452d1d8 --- html/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/html/index.html b/html/index.html index a28db052..49ec1b3d 100644 --- a/html/index.html +++ b/html/index.html @@ -163,7 +163,7 @@ $(document).ready(function(){initNavTree('index.html','');});