Martin Fischer ab90e2ac49 [enh] show categories not in any tab category in "Other" preferences tab ... Previously we didn't have a good place to put search engines that don't fit into any of the tab categories. This commit automatically puts search engines that don't belong to any tab category in an "other" category, that is only displayed in the user preferences (and not above search results).		2022-01-05 11:03:44 +01:00
..
__common__	[build] /static	2021-11-15 14:54:32 +01:00
oscar	[enh] show categories not in any tab category in "Other" preferences tab	2022-01-05 11:03:44 +01:00
simple	[enh] show categories not in any tab category in "Other" preferences tab	2022-01-05 11:03:44 +01:00