1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-22 06:02:11 +02:00
Commit graph

1 commit

Author SHA1 Message Date
Marc Khouzam
ffbc33fa54 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
2016-06-20 09:13:36 -04:00