From a2ed5cc6d47a8c3479f9c0209fd7d9e9639e95d3 Mon Sep 17 00:00:00 2001 From: TravisBot <> Date: Tue, 13 Feb 2018 20:10:16 +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 46dd2a0a..d97bfac3 100644 --- a/pages.html +++ b/pages.html @@ -98,7 +98,7 @@ var searchBox = new SearchBox("searchBox", "search",false,'Search'); -- cgit