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