From 3a5a0e7b42d34baa238895f9e4d86cfd902ace7d Mon Sep 17 00:00:00 2001
From: TravisBot <>
Date: Sat, 23 Dec 2017 00:51:44 +0000
Subject: [Travis] Rebuilding documentation

---
 search/pages_1.js | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 search/pages_1.js

(limited to 'search/pages_1.js')

diff --git a/search/pages_1.js b/search/pages_1.js
deleted file mode 100644
index 038da541..00000000
--- a/search/pages_1.js
+++ /dev/null
@@ -1,4 +0,0 @@
-var searchData=
-[
-  ['deprecated_20list',['Deprecated List',['../deprecated.html',1,'']]]
-];
-- 
cgit