Kerry 951cad98d3 Device manager - extract filtered device list header (#9323) ... * extract filtered device list header * stylelint		2022-09-29 09:22:00 +02:00
..
devices	Device manager - extract filtered device list header (#9323)	2022-09-29 09:22:00 +02:00
shared	Device manager: generic settings subsection component (PSG-636) (#9147)	2022-08-09 10:14:30 +02:00