diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-06-24 03:59:24 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2016-06-24 03:59:24 -0500 |
| commit | c51e4cc7abd75b4f437a4c0d5009063957ec7612 (patch) | |
| tree | 801e54cf5d34186b2bf1cb91912fcea85ca266ff /libre/java7-openjdk/jre7-openjdk.install | |
| parent | 183677304e1b5b2a22ac2e1c3c97384eb1bbc707 (diff) | |
osgi-core-6.0.0-2: rebuild
Diffstat (limited to 'libre/java7-openjdk/jre7-openjdk.install')
0 files changed, 0 insertions, 0 deletions