<map id="G" name="G"> <area shape="rect" id="node3" href="$gui_2include_2mrpt_2gui_2link__pragmas_8h.html" title="mrpt/gui/link_pragmas.h" alt="" coords="49,80,209,107"/> <area shape="rect" id="node7" href="$boost__join_8h.html" title="mrpt/utils/boost_join.h" alt="" coords="129,155,279,181"/> </map>