From 872cf6d06f4d77637b4627fdc583bab79ee2372f Mon Sep 17 00:00:00 2001
From: johannst <johannst@users.noreply.github.com>
Date: Mon, 27 Feb 2023 22:52:40 +0000
Subject: deploy: 6486b862edc2750dba83848f62d6c9f3d4c6d3c2

---
 source-files.js | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 source-files.js

(limited to 'source-files.js')

diff --git a/source-files.js b/source-files.js
new file mode 100644
index 0000000..850f313
--- /dev/null
+++ b/source-files.js
@@ -0,0 +1,4 @@
+var sourcesIndex = JSON.parse('{\
+"juicebox_asm":["",[["insn",[],["add.rs","dec.rs","jmp.rs","jnz.rs","jz.rs","mov.rs","ret.rs","test.rs"]]],["imm.rs","insn.rs","label.rs","lib.rs","prelude.rs","reg.rs","rt.rs"]]\
+}');
+createSourceSidebar();
-- 
cgit v1.2.3