android_device_xiaomi_cupid/overlay/SettingsProvider
LuK1337 97fb0f6075 cupid: Set default Settings.Global.DEVICE_NAME according to MIUI
MIUI uses ro.product.vendor.marketname for default device name.

Change-Id: I310c1ffc581b72653783d1093d9e7ebde544bb16
2022-04-03 19:25:48 +02:00
..
res/values cupid: Set default Settings.Global.DEVICE_NAME according to MIUI 2022-04-03 19:25:48 +02:00
Android.bp cupid: Set default Settings.Global.DEVICE_NAME according to MIUI 2022-04-03 19:25:48 +02:00
AndroidManifest.xml cupid: Set default Settings.Global.DEVICE_NAME according to MIUI 2022-04-03 19:25:48 +02:00