Luca Weiss 8437d79df7 device/*: Improve device name for some devices (MR 1248) ... [ci:ignore-count]		2020-05-25 10:15:12 +02:00
..
00_fix-video-argb-setting.patch	sony-leo: new device (MR 1190)	2020-04-30 00:00:03 +03:00
APKBUILD	device/*: Improve device name for some devices (MR 1248)	2020-05-25 10:15:12 +02:00
config-sony-leo.armv7	sony-leo: new device (MR 1190)	2020-04-30 00:00:03 +03:00
gcc7-give-up-on-ilog2-const-optimizations.patch	sony-leo: new device (MR 1190)	2020-04-30 00:00:03 +03:00
gcc8-fix-put-user.patch	sony-leo: new device (MR 1190)	2020-04-30 00:00:03 +03:00