path: root/doc/html/regdir_8php.js

var regdir_8php =
[
    [ "regdir_init", "regdir_8php.html#a6e703a4e66d2370c48500262cc0b56dd", null ]
];