From 7d9f8704c951896ccaaaf601d55ca6d0ebcd72f4 Mon Sep 17 00:00:00 2001 From: Daniele Gobbetti Date: Sat, 24 Aug 2024 09:33:06 +0200 Subject: [PATCH] Remove device_specific_settings category from main preferences All devices are now handled by their device specific preferences --- app/src/main/res/xml/preferences.xml | 11 ----------- 1 file changed, 11 deletions(-) diff --git a/app/src/main/res/xml/preferences.xml b/app/src/main/res/xml/preferences.xml index 80c186f1c..7a46c063c 100644 --- a/app/src/main/res/xml/preferences.xml +++ b/app/src/main/res/xml/preferences.xml @@ -266,17 +266,6 @@ - - - - - -