diff options
author | JOGAMP WEB TEAM <[email protected]> | 2013-06-19 21:15:49 +0200 |
---|---|---|
committer | JOGAMP WEB TEAM <[email protected]> | 2013-06-19 21:15:49 +0200 |
commit | cf105c58622f37789ce5f8667578834ec49b6320 (patch) | |
tree | 45b72fd1995275d2c46cd644bca2f8fa00094cad /planet2/config/planet-config.xml | |
parent | e8a7d441f7f98cb786d48e21db4e2f0fded07fdc (diff) |
update-planet* use jre7
Diffstat (limited to 'planet2/config/planet-config.xml')
0 files changed, 0 insertions, 0 deletions