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
APKBUILD	device/*: Improve device name for some devices (MR 1248)	2020-05-25 10:15:12 +02:00
compiler-gcc6.h
config-xiaomi-ido.aarch64
gcc-wrapper-port-to-py3.patch	linux-xiaomi-ido: python3 compatibility (MR 1202)	2020-05-03 16:31:40 +03:00