3 commits

Author	SHA1	Message	Date
Luca Weiss	bbec7c41ea	Add deviceinfo_codename variable (!114) ... For postmarketOS/pmaports#157 [skip ci]	2018-12-26 21:49:10 +01:00
Daniele Debernardi	d3b439ae2d	deviceinfo: remove external_disk_install and external_disk, use external_storage instead (#1301) ... * deviceinfo: remove external_disk_install and external_disk, use external_storage instead * Complain when external_disk* is used	2018-03-07 22:35:02 +00:00
lawl	8297ed30b7	add support for xiaomi-ido (Xiaomi Redmi 3 [Pro]) (#1043) ... Device boots, weston starts, ssh works, osk-sdl works	2017-12-27 01:56:59 +00:00