Bart Ribbers 71557f7f0c device-*: rebuild for the new splash screen generation		2020-01-28 15:40:18 +01:00
..
APKBUILD	device-*: rebuild for the new splash screen generation	2020-01-28 15:40:18 +01:00
deviceinfo	device-xiaomi: new device (!165)	2019-01-23 09:41:42 +01:00