LuK1337 51137bc0f7 pipa: Set default Settings.Global.DEVICE_NAME according to MIUI
MIUI uses ro.product.vendor.marketname for default device name.

Change-Id: I310c1ffc581b72653783d1093d9e7ebde544bb16
2024-07-23 01:20:18 +02:00
2024-07-21 15:06:55 +02:00
2024-07-21 15:06:55 +02:00
2024-07-21 15:06:55 +02:00
2024-07-21 15:06:55 +02:00
2024-07-21 15:06:55 +02:00
2024-07-21 15:06:55 +02:00
Description
No description provided
472 KiB
Languages
Python 27.3%
Java 26.6%
Shell 20.1%
C++ 19.7%
Makefile 6.3%