ormai 8de723e2fd Improve the layout of the search page on mobile		2023-10-19 18:04:05 +02:00
..
plugins/external_plugins	theme: remove __common__	2022-05-07 19:40:48 +02:00
themes/simple	Improve the layout of the search page on mobile	2023-10-19 18:04:05 +02:00