var class_file_extension =
[
    [ "FileExtension", "class_file_extension.html#a80d166b05a0e176f5fb9806f5c312cb9", null ],
    [ "~FileExtension", "class_file_extension.html#afde460337ad855d866fc873fb666c9df", null ]
];