var _history_obj_8h =
[
    [ "HistoryObj", "db/dae/class_history_obj.html", "db/dae/class_history_obj" ],
    [ "operator<<", "d4/d08/_history_obj_8h.html#aa07004a3bd2aa2876cbc1c982a6b08d1", null ]
];