diff options
| author | Ahmad Rulim <personal@rulim34.dev> | 2022-11-14 08:55:04 +0700 |
|---|---|---|
| committer | sinanmohd <pcmsinan@gmail.com> | 2023-01-05 22:04:15 +0530 |
| commit | c17874f2a5db03cb7567a02452fa6d9f6e229cfa (patch) | |
| tree | dbd3920f398bf2132c0129b6910dc42584d2fe4b /gps/android/1.0/location_api | |
| parent | 1638b0a3bf300ccc9c1e88f4b23176b04b394274 (diff) | |
veux: deps: Fix hardware_xiaomi repo name
Signed-off-by: Ahmad Rulim <personal@rulim34.dev>
Diffstat (limited to 'gps/android/1.0/location_api')
0 files changed, 0 insertions, 0 deletions