mirrors/element-web
1
0
Fork 0
mirror of https://github.com/element-hq/element-web.git synced 2024-12-16 17:31:30 +03:00
Code Issues Projects Releases Packages Wiki Activity
2155 commits 219 branches 562 tags 474 MiB
Commit graph

2 commits

Author SHA1 Message Date
Richard van der Hoff
f4d41b7847 DevicesPanel: use device_id as a placeholder 
A device may have no display_name set, in which case we probably want to use
the device_id as a placeholder.
 2016-08-03 14:19:54 +01:00
Richard van der Hoff
c071bc54f9 Implement device management UI 
View/rename/delete.
 2016-08-01 13:42:29 +01:00