diff options
author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-08-31 14:12:48 -0500 |
---|---|---|
committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-08-31 14:12:48 -0500 |
commit | 59af0bb24eb26347fae821551e65ccb13bacedbf (patch) | |
tree | 89da9f4dd9ffa14dd3b4c35a07d77ad036a0985f /libre/java8-openjdk/install_jre8-openjdk.sh | |
parent | 93e2135c70719880ee68f98b23dbca36f7732ac5 (diff) |
gnoduino-0.5.1-2: rebuild
Diffstat (limited to 'libre/java8-openjdk/install_jre8-openjdk.sh')
0 files changed, 0 insertions, 0 deletions