From e37c8e0f9319e3df3ff801f5a38f4717a8a20b28 Mon Sep 17 00:00:00 2001
From: johannst <johannst@users.noreply.github.com>
Date: Sun, 22 Oct 2023 12:29:22 +0000
Subject: deploy: 474c2545cbb1af85a326a47e202fe1e6c450b496

---
 source-files.js | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 source-files.js

(limited to 'source-files.js')

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();
-- 
cgit v1.2.3