diff options
Diffstat (limited to 'source-files.js')
| -rw-r--r-- | source-files.js | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/source-files.js b/source-files.js index 7bfac52..9805f14 100644 --- a/source-files.js +++ b/source-files.js @@ -1,3 +1,4 @@ -var sourcesIndex = {}; -sourcesIndex["llvm_kaleidoscope_rs"] = {"name":"","dirs":[{"name":"llvm","files":["basic_block.rs","builder.rs","lljit.rs","mod.rs","module.rs","pass_manager.rs","type_.rs","value.rs"]}],"files":["codegen.rs","lexer.rs","lib.rs","parser.rs"]}; +var sourcesIndex = JSON.parse('{\ +"llvm_kaleidoscope_rs":["",[["llvm",[],["basic_block.rs","builder.rs","lljit.rs","mod.rs","module.rs","pass_manager.rs","type_.rs","value.rs"]]],["codegen.rs","lexer.rs","lib.rs","parser.rs"]]\ +}'); createSourceSidebar(); |