var searchData=
[
  ['_7ecommandmanager',['~CommandManager',['../classmonitor_1_1_command_manager.html#ad2a8eb1139a5a25a6993887c55b3da4e',1,'monitor::CommandManager']]],
  ['_7edestijlcommandmanager',['~DestijlCommandManager',['../classmonitor_1_1_destijl_command_manager.html#abc51dc980d7ba7e59a571e579cb626b9',1,'monitor::DestijlCommandManager']]]
];
