Luca Weiss 8437d79df7 device/*: Improve device name for some devices (MR 1248) ... [ci:ignore-count]		2020-05-25 10:15:12 +02:00
..
01_fix_gcc6_errors.patch	device/*: move to device/testing/* (!1063)	2020-03-14 08:35:32 +01:00
APKBUILD	device/*: Improve device name for some devices (MR 1248)	2020-05-25 10:15:12 +02:00
compiler-gcc6.h	device/*: move to device/testing/* (!1063)	2020-03-14 08:35:32 +01:00
config-xiaomi-ido.aarch64	device/*: move to device/testing/* (!1063)	2020-03-14 08:35:32 +01:00
gcc-wrapper-port-to-py3.patch	linux-xiaomi-ido: python3 compatibility (MR 1202)	2020-05-03 16:31:40 +03:00