mirror of https://github.com/vector-im/riot-web
6f2c761fb4
* add device filtering * improve dropdown styling * test device filtering * update type imports * fix types * security card margin * more specific type for onFilterOptionChange |
||
---|---|---|
.. | ||
devices | ||
shared |