var deprecated_8hh =
[
    [ "EXAMPLE_ROBOT_DATA_DEPRECATED", "deprecated_8hh.html#a723c032209cb86a6fbba944a5e1e0fd6", null ],
    [ "EXAMPLE_ROBOT_DATA_DEPRECATED_HEADER", "deprecated_8hh.html#a127714f9b55a5b50822b2b5c9411e612", null ],
    [ "EXAMPLE_ROBOT_DATA_DEPRECATED_MESSAGE", "deprecated_8hh.html#a5a9e7bd01c19e6df0b6757c3eda341d5", null ]
];