From ad0a4f4aedd903c2c469b2b4fdd14db1c7681e1f Mon Sep 17 00:00:00 2001
From: Yann Herklotz <ymherklotz@gmail.com>
Date: Sun, 3 Sep 2017 12:58:19 +0100
Subject: Updating docs

---
 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 441b2dec..038da541 100644
--- a/search/pages_1.js
+++ b/search/pages_1.js
@@ -1,4 +1,4 @@
 var searchData=
 [
-  ['todo_20list',['Todo List',['../todo.html',1,'']]]
+  ['deprecated_20list',['Deprecated List',['../deprecated.html',1,'']]]
 ];
-- 
cgit