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