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
..
ChangeAvatar.js	show vaguely accurate default avatar	2016-02-15 22:01:22 +02:00
ChangeDisplayName.js	Factor EditableTextContainer out of ChangeDisplayName	2016-07-29 17:40:13 +01:00
ChangePassword.js	update copyright for 2016	2016-01-07 04:06:52 +00:00
DevicesPanel.js	Implement device management UI	2016-08-01 13:42:29 +01:00
DevicesPanelEntry.js	DevicesPanel: use device_id as a placeholder	2016-08-03 14:19:54 +01:00
EnableNotificationsButton.js	update copyright for 2016	2016-01-07 04:06:52 +00:00