diff options
Diffstat (limited to 'source-files.js')
| -rw-r--r-- | source-files.js | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/source-files.js b/source-files.js deleted file mode 100644 index 90705da..0000000 --- a/source-files.js +++ /dev/null @@ -1,4 +0,0 @@ -var sourcesIndex = JSON.parse('{\ -"juicebox_asm":["",[["insn",[],["add.rs","call.rs","dec.rs","jmp.rs","jnz.rs","jz.rs","mov.rs","nop.rs","ret.rs","test.rs"]]],["imm.rs","insn.rs","label.rs","lib.rs","prelude.rs","reg.rs","rt.rs"]]\ -}'); -createSourceSidebar(); |