var dir_9f4ba04fdb387c5a6a0ed9efef387afa =
[
    [ "specifications.cpp", "specifications_8cpp.html", "specifications_8cpp" ]
];