rm html

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

diff --git a/html/search/files_72.js b/html/search/files_72.js
deleted file mode 100644 (file)
index 00f19fc..0000000
--- a/html/search/files_72.js
+++ /dev/null
@@ -1,4 +0,0 @@
-var searchData=
-[
-  ['run_2dtests_2ephp',['run-tests.php',['../run-tests_8php.html',1,'']]]
-];