var remmina__external__tools_8h = [ [ "remmina_external_tools_from_filename", "remmina__external__tools_8h.html#a32c8a5f638e3a38753d43fbeb3094e85", null ] ];