From 091d408a87d0f73f1c4e0166849ca9a566f005e0 Mon Sep 17 00:00:00 2001
From: johannst <johannst@users.noreply.github.com>
Date: Wed, 15 Nov 2023 21:40:27 +0000
Subject: deploy: f52d556e0e1bf2350b3b42cff198550a267ceb0b

---
 source-files.js | 3 ---
 1 file changed, 3 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 d68eabd..0000000
--- a/source-files.js
+++ /dev/null
@@ -1,3 +0,0 @@
-var sourcesIndex = {};
-sourcesIndex["kvm_rs"] = {"name":"","files":["cap.rs","fmt.rs","kvm.rs","kvm_sys.rs","lib.rs","vcpu.rs","vm.rs","x86_64.rs"]};
-createSourceSidebar();
-- 
cgit v1.2.3