var class_export_file_progress =
[
    [ "current", "class_export_file_progress.html#a7c52f7fc9bfe69aa75f576856b846ea2", null ],
    [ "status", "class_export_file_progress.html#abad6135855c4316a9eda3caf2753db0e", null ],
    [ "total", "class_export_file_progress.html#a861cfec4e1f548427d786de3bd820851", null ]
];