var classGpgFrontend_1_1UI_1_1TranslatorsTab =
[
    [ "TranslatorsTab", "classGpgFrontend_1_1UI_1_1TranslatorsTab.html#a89e5c7b9c17fb41b7c7bf461fb8ad99e", null ]
];