From 318e4417544be87c0b19e8c0bbccbdde00b6310a Mon Sep 17 00:00:00 2001 From: Jack Green Date: Mon, 9 Dec 2024 14:27:45 +0000 Subject: [PATCH] Remove (dead) `lunr.min.js` link from `index.html` The `lunr.min.js` file was removed in https://github.com/olivernn/lunr.js/commit/2a57c5334f2df69c8d41bceae1e5b6c66502342d, but is still referenced. --- index.html | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/index.html b/index.html index 0c55ecfb..16a5e835 100644 --- a/index.html +++ b/index.html @@ -84,10 +84,7 @@

About

Download

- + lunr.js