cybermonkey 8fe97c5840 New device: Xiaomi Redmi 4X (xiaomi-santoni) (#1346)		2018-03-20 18:46:01 +00:00
..
02_fix_msm_dba.patch	New device: Xiaomi Redmi 4X (xiaomi-santoni) (#1346)	2018-03-20 18:46:01 +00:00
03_fix_rndis_ipa_trace_header_not_found.patch	New device: Xiaomi Redmi 4X (xiaomi-santoni) (#1346)	2018-03-20 18:46:01 +00:00
APKBUILD	New device: Xiaomi Redmi 4X (xiaomi-santoni) (#1346)	2018-03-20 18:46:01 +00:00
compiler-gcc6.h	New device: Xiaomi Redmi 4X (xiaomi-santoni) (#1346)	2018-03-20 18:46:01 +00:00
config-xiaomi-santoni.aarch64	New device: Xiaomi Redmi 4X (xiaomi-santoni) (#1346)	2018-03-20 18:46:01 +00:00