diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2015-08-31 14:12:48 -0500 |
|---|---|---|
| committer | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2015-09-22 16:14:59 -0300 |
| commit | 18582f85f0f63fbdbaa8ffeac76908b92e435029 (patch) | |
| tree | 2aa82c21c0eafcdac4850f650ee8ead384e0678e /libre/java8-openjdk/install_jre8-openjdk-headless.sh | |
| parent | 8fcda099da5dd0f441830b457532d7ae8b42aa16 (diff) | |
gnoduino-0.5.1-2: rebuild
Diffstat (limited to 'libre/java8-openjdk/install_jre8-openjdk-headless.sh')
0 files changed, 0 insertions, 0 deletions