Pablo Correa Gómez cf69326222 device/*: rebuild all devices (MR 4551) ... [ci:ignore-count]		2024-01-22 19:32:30 +01:00
..
APKBUILD	device/*: rebuild all devices (MR 4551)	2024-01-22 19:32:30 +01:00
deviceinfo	xiaomi-dior: new device (Xiaomi Redmi Note 4G) (MR 1992)	2021-03-02 14:56:47 +03:00