var class_good_pixel_manager =
[
    [ "GoodPixelManager", "d2/d96/class_good_pixel_manager.html#a4a1db49fa90d2b3361e7578bbed40628", null ]
];