Jules Aguillon 6747669c2d Refactor: Use a PreferenceCategory for extra keys ... This removes the need for a layout definition and adds a title before the prefs. It's a prerequise for the custom keys preference.		2023-07-19 23:30:58 +02:00
..
strings.xml	Refactor: Use a PreferenceCategory for extra keys	2023-07-19 23:30:58 +02:00