diff --git a/options.html b/options.html index a31e7c0259..e49f935796 100644 --- a/options.html +++ b/options.html @@ -70,7 +70,7 @@
- +