diff options
| author | Ahmad Rulim <personal@rulim34.dev> | 2022-11-20 20:15:01 +0700 |
|---|---|---|
| committer | sinanmohd <pcmsinan@gmail.com> | 2023-01-05 22:04:15 +0530 |
| commit | db7df05265783d223fe8c5a5716ea75682230bb6 (patch) | |
| tree | 685bdf6b43a7febf726b8486bc19e7db0edd09c4 /sepolicy/vendor/hal_health_default.te | |
| parent | c05cc19d6e78003dea4a327f5964da159b9ce8f7 (diff) | |
veux: Remove developer gsi keys
Signed-off-by: Ahmad Rulim <personal@rulim34.dev>
Diffstat (limited to 'sepolicy/vendor/hal_health_default.te')
0 files changed, 0 insertions, 0 deletions