From ed649811212e2ccd17abc2af82d8d9638ec6ae57 Mon Sep 17 00:00:00 2001 From: TravisBot <> Date: Sat, 2 Jun 2018 15:03:38 +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 69c6d738..b162dacb 100644 --- a/pages.html +++ b/pages.html @@ -96,7 +96,7 @@ var searchBox = new SearchBox("searchBox", "search",false,'Search'); -- cgit