diff options
author | 2018-08-02 14:14:22 +0000 | |
---|---|---|
committer | 2018-08-02 14:14:22 +0000 | |
commit | 62347152ef6e9d284d8bc45373fb6f83a5162110 (patch) | |
tree | 4cbbf6dba57b36973893870be52d6047a4506568 /boot/policy_serv.sh | |
parent | 7bd187204890a67ae0ff654f3c3bfaf15b2abe2c (diff) | |
parent | 2c2914ae3fe4e82209ae9a46f68a15c4ad1ede1e (diff) |
Merge "Remove unnecessary install of JDK"
Diffstat (limited to 'boot/policy_serv.sh')
0 files changed, 0 insertions, 0 deletions