<area shape="rect" href="$revision_8hpp.html" title="revision.hpp" alt="" coords="45,80,136,107"> <area shape="rect" href="$client_8hpp.html" title="client.hpp" alt="" coords="5,155,83,181"> <area shape="rect" href="$wc_8hpp.html" title="wc.hpp" alt="" coords="107,155,168,181">