var class_time_extension =
[
    [ "TimeExtension", "class_time_extension.html#a46ad8c5dd95bc4425eb46b617a680943", null ],
    [ "~TimeExtension", "class_time_extension.html#a4569da520cd332d369fb6311895cee04", null ]
];