var classGRFFileScanner =
[
    [ "AddFile", "d9/d92/classGRFFileScanner.html#a83a07118437cc36264707572fbce2da1", null ],
    [ "DoScan", "d9/d92/classGRFFileScanner.html#a0a42aeb31d15ff0701fc2a96c2b5a8b8", null ],
    [ "next_update", "d9/d92/classGRFFileScanner.html#a2b11522261cb604bbd20f4b55d2d349b", null ],
    [ "num_scanned", "d9/d92/classGRFFileScanner.html#ac6d5edf71abaa1b92972a46da63ebfd7", null ]
];