var structGpgFrontend_1_1__result__ref__deletor =
[
    [ "operator()", "structGpgFrontend_1_1__result__ref__deletor.html#afc545b56a9d45cb1ed455e0d93c30880", null ]
];