versioning

[m6w6/ext-raphf] / search / variables_5.js

diff --git a/search/variables_5.js b/search/variables_5.js
deleted file mode 100644 (file)
index 15ede00..0000000
--- a/search/variables_5.js
+++ /dev/null
@@ -1,4 +0,0 @@
-var searchData=
-[
-  ['provider',['provider',['../php__raphf_8h.html#a43aabcbe7ec4b5ff463f74cfcf788f51',1,'php_persistent_handle_factory']]]
-];