From 8e085cb3172e0c53fc3c7a5fb4fd8fb0c33e6fbb Mon Sep 17 00:00:00 2001
From: Alessio Vanni <vannilla@firemail.cc>
Date: Tue, 19 Feb 2019 23:27:54 +0100
Subject: Remove add-on options

They were fairly useless since they were just buttons for the logger
and the dashboard, that can be reached in other ways, and also
something broke them somehow, making the buttons have no labels.
---
 install.rdf | 1 -
 1 file changed, 1 deletion(-)

(limited to 'install.rdf')

diff --git a/install.rdf b/install.rdf
index 2596915..d37565f 100644
--- a/install.rdf
+++ b/install.rdf
@@ -33,7 +33,6 @@
         <developer>Alex Vallat</developer>
         <type>2</type>
         <bootstrap>true</bootstrap>
-        <optionsType>2</optionsType>
 
         <localized><r:Description>
             <locale>ar</locale>
-- 
cgit v1.2.3