versioning

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

diff --git a/search/variables_72.js b/search/variables_72.js
deleted file mode 100644 (file)
index 1a001c4..0000000
--- a/search/variables_72.js
+++ /dev/null
@@ -1,6 +0,0 @@
-var searchData=
-[
-  ['refcount',['refcount',['../structphp__resource__factory.html#a00ebf2bd2227f5d4826751b3b475769f',1,'php_resource_factory']]],
-  ['retire',['retire',['../php__raphf_8h.html#a9299f3f0821061ad93d15c10cf735b6b',1,'php_persistent_handle_factory']]],
-  ['rf',['rf',['../php__raphf_8h.html#a8204714f100b74b028652951ca40abd3',1,'php_persistent_handle_provider']]]
-];