Jerin Philip 58e41997b5 xiaomi-cereus: new device (Xiaomi Redmi 6) (MR 4408) ... [ci:skip-build]: already built successfully in CI		2023-09-22 09:12:30 +02:00
..
0001-gcc10-extern-YYLOC-global-declaration.patch	xiaomi-cereus: new device (Xiaomi Redmi 6) (MR 4408)	2023-09-22 09:12:30 +02:00
0002-Port-drvgen-scripts-to-Python3.patch	xiaomi-cereus: new device (Xiaomi Redmi 6) (MR 4408)	2023-09-22 09:12:30 +02:00
APKBUILD	xiaomi-cereus: new device (Xiaomi Redmi 6) (MR 4408)	2023-09-22 09:12:30 +02:00
config-xiaomi-cereus.armv7	xiaomi-cereus: new device (Xiaomi Redmi 6) (MR 4408)	2023-09-22 09:12:30 +02:00