versioning

[m6w6/ext-raphf] / php__raphf_8h_structphp__resource__factory__ops.js

diff --git a/php__raphf_8h_structphp__resource__factory__ops.js b/php__raphf_8h_structphp__resource__factory__ops.js
deleted file mode 100644 (file)
index 3bfcd8c..0000000
--- a/php__raphf_8h_structphp__resource__factory__ops.js
+++ /dev/null
@@ -1,6 +0,0 @@
-var php__raphf_8h_structphp__resource__factory__ops =
-[
-    [ "copy", "php__raphf_8h.html#a8094f85df976aff73148bc579ae72e38", null ],
-    [ "ctor", "php__raphf_8h.html#a044b07071758dbc53f87bfd212400ac0", null ],
-    [ "dtor", "php__raphf_8h.html#acb8a7a04b86f08db41a2d6232676c65c", null ]
-];
\ No newline at end of file