mirror of
https://github.com/rcore-os/rCore-Tutorial-v3.git
synced 2024-11-28 12:23:36 +04:00
5 lines
139 B
JavaScript
5 lines
139 B
JavaScript
var sourcesIndex = JSON.parse('{\
|
|
"os":["",[],["console.rs","lang_items.rs","logging.rs","main.rs","sbi.rs"]]\
|
|
}');
|
|
createSourceSidebar();
|