var sourcesIndex = JSON.parse('{\
"os":["",[],["console.rs","lang_items.rs","logging.rs","main.rs","sbi.rs"]]\
}');
createSourceSidebar();