From 81653e5758a5a35b6c88e590ef97958073d53e13 Mon Sep 17 00:00:00 2001 From: TravisBot <> Date: Thu, 21 Jun 2018 23:13:17 +0000 Subject: [Travis] Rebuilding documentation --- pages.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'pages.html') diff --git a/pages.html b/pages.html index 58c0f5dd..d5309084 100644 --- a/pages.html +++ b/pages.html @@ -96,7 +96,7 @@ var searchBox = new SearchBox("searchBox", "search",false,'Search'); -- cgit