platform_device_xiaomi_zeus/overlay/SettingsProvider/res/values
LuK1337 9d8fd6ceed zeus: overlay: Set default Settings.Global.DEVICE_NAME according to MIUI
MIUI uses ro.product.vendor.marketname for default device name.

Change-Id: I310c1ffc581b72653783d1093d9e7ebde544bb16
2023-05-11 19:39:41 +02:00
..
defaults.xml zeus: overlay: Set default Settings.Global.DEVICE_NAME according to MIUI 2023-05-11 19:39:41 +02:00