From e647586a1fbbb7eaba038f653d2676a5bd1eab19 Mon Sep 17 00:00:00 2001 From: ccd0 Date: Fri, 28 Jul 2017 00:12:57 -0700 Subject: [PATCH] Build web page. --- index.html | 1 + 1 file changed, 1 insertion(+) diff --git a/index.html b/index.html index 39dc62d87..eee02db01 100644 --- a/index.html +++ b/index.html @@ -30,6 +30,7 @@

You will first need to install a userscript manager such as Greasemonkey. Unfortunately, Firefox's transition to WebExtensions has forced a complete rewrite of Greasemonkey, leaving the current version of Greasemonkey unmaintained and unreliable. Until the WebExtensions version of Greasemonkey is complete, your options are: