var World_8cpp =
[
    [ "CurrentCourse", "World_8cpp.html#a3d9e9e4d3ef9b7b36bd75d81f5d2331c", null ],
    [ "CurrentCup", "World_8cpp.html#a79811acfd6178798165ac61d8efce2ee", null ]
];