diff -r 92e482410453 -r d345541018fa docs/api-2.1/search/files_2.js
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/api-2.1/search/files_2.js	Sat Feb 06 19:11:44 2021 +0100
@@ -0,0 +1,5 @@
+var searchData=
+[
+  ['list_2eh',['list.h',['../list_8h.html',1,'']]],
+  ['logging_2eh',['logging.h',['../logging_8h.html',1,'']]]
+];