diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-07-04 10:49:09 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-07-04 10:49:09 -0500 |
| commit | 3dedd7d413edfba2fdd6d491c863c64632846122 (patch) | |
| tree | a11b55f6738e4cccece66703c89f796640a202ac /libre/java-common/profile_jre.sh | |
| parent | ad640781b9a9c2ca3515a25f85e86731ec9c2483 (diff) | |
proguard: add new package to [libre]
Diffstat (limited to 'libre/java-common/profile_jre.sh')
0 files changed, 0 insertions, 0 deletions