diff options
| author | Ahmad Rulim <personal@rulim34.dev> | 2022-12-31 21:50:22 +0700 |
|---|---|---|
| committer | sinanmohd <pcmsinan@gmail.com> | 2023-01-05 22:04:15 +0530 |
| commit | 39d12df3fbb341a0fbbea17d372109a8ae81a5be (patch) | |
| tree | 28527534ea9f6e93293db4344641a3a5894f407d /gps/core/observer | |
| parent | 0be2f0d3f718e7d7b0728af775913bdc0c3777e7 (diff) | |
veux: overlay: Set device name based on ro.boot.board_id
Signed-off-by: Ahmad Rulim <personal@rulim34.dev>
Diffstat (limited to 'gps/core/observer')
0 files changed, 0 insertions, 0 deletions