<map id="idl/hpp/pinocchio_idl/robots.idl" name="idl/hpp/pinocchio_idl/robots.idl">
<area shape="rect" id="node1" title=" " alt="" coords="5,5,160,47"/>
<area shape="rect" id="node2" href="$common_8idl.html" title=" " alt="" coords="19,95,146,121"/>
</map>
