var classGpgFrontend_1_1UI_1_1InfoTab =
[
    [ "InfoTab", "classGpgFrontend_1_1UI_1_1InfoTab.html#a99d8b059ee28ea257981892e0b35d4cc", null ]
];