var group___device_info =
[
    [ "isDesktop", "group___device_info.html#ga3acdbc499923bf65dcc6039f9ebd9463", null ],
    [ "isMobile", "group___device_info.html#gaacaf5648ebb4ad67af4c54ae9adde0b2", null ],
    [ "isTablet", "group___device_info.html#gad2aa91d55a109588648a3d8929fe5676", null ]
];