rm html

[m6w6/ext-raphf] / html / search / files_70.js

diff --git a/html/search/files_70.js b/html/search/files_70.js
deleted file mode 100644 (file)
index e0b73eb..0000000
--- a/html/search/files_70.js
+++ /dev/null
@@ -1,4 +0,0 @@
-var searchData=
-[
-  ['php_5fraphf_2eh',['php_raphf.h',['../php__raphf_8h.html',1,'']]]
-];