From 858a9fa99fa8410b69523fa4ed69272015fcf0d3 Mon Sep 17 00:00:00 2001
From: TravisBot <>
Date: Wed, 10 Jan 2018 18:45:08 +0000
Subject: [Travis] Rebuilding documentation

---
 search/pages_1.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'search/pages_1.js')

diff --git a/search/pages_1.js b/search/pages_1.js
index 038da541..8d42650d 100644
--- a/search/pages_1.js
+++ b/search/pages_1.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['deprecated_20list',['Deprecated List',['../deprecated.html',1,'']]]
+  ['bug_20list',['Bug List',['../bug.html',1,'']]]
 ];
-- 
cgit