diff options
author | Davide Garberi <dade.garberi@gmail.com> | 2019-10-02 20:21:00 +0200 |
---|---|---|
committer | Michael Bestas <mkbestas@lineageos.org> | 2020-04-30 00:48:53 +0300 |
commit | 2e158a950f776ed53d58db4b9733c26edb7fc43c (patch) | |
tree | 366d170c91e5e2be24746f87b45edfa1a7d8cf05 /gps/build | |
parent | 9b8c243fcb6fd9d48745ff84851b7e19d2d1bbf9 (diff) |
sdm660-common: sepolicy: Remove a duplicated type
Change-Id: Iff6632bfd67bf00dbf8980482b37b5a2c265f675
Diffstat (limited to 'gps/build')
0 files changed, 0 insertions, 0 deletions