Binary: update-menus

shuffleBed cris-linux-gnu-addr2line cp2k.popt_openmpi euca-describe-internet-gateways gpk-install-catalog ibdiagnet .ipsec.hmac nunit-console2 mpitests-osu_bw manage_clients ytoceta hiz-depth-read-fbo-d24-s8 rpl dtc-xen_domU_gen_xen_conf frescobaldi gbrowse_launch_aws_slaves gfan_tropicallifting gnupod_INIT listadmin marisa-common-prefix-search powerline-config pytags __init__.py lqtremux tsvnc dfrouter systemd-machine-id-setup DBExporter SpecLibSearcher wmwork