From ce86f6ae6e1757f1a56020506f9315bbb93bc0b6 Mon Sep 17 00:00:00 2001 From: Denny Date: Tue, 5 Sep 2023 15:57:00 +0530 Subject: [PATCH] fix: incorrect filename in options.html --- browser-extension/plugin/src/options.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/browser-extension/plugin/src/options.html b/browser-extension/plugin/src/options.html index 447b4313..4f7d65c9 100644 --- a/browser-extension/plugin/src/options.html +++ b/browser-extension/plugin/src/options.html @@ -28,6 +28,6 @@
- +