| commit | ffbc33fa54c668487452bd2bb68c3622a001f99f | [log] [tgz] |
|---|---|---|
| author | Marc Khouzam <marc.khouzam@ericsson.com> | Fri May 27 16:26:57 2016 -0400 |
| committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Mon Jun 20 09:13:36 2016 -0400 |
| tree | d14c464290d0a29a6ed510dbd2d7766be38dfc8d | |
| parent | 01845929c4e4cb890e16ecedd473fc7de66e14f8 [diff] |
Add script to change java version The script is quite basic. It does not even take parameters. However, considering it will be run probably once every three years, I felt it was sufficient. Change-Id: Ic2b533758529f393d6e37c010f0a5cb666e84b53