tree 69cb431a46549d738cc9c5258329c914004d5bd6
parent a1af23c6e395e1417f868e5992d3c11936ab6005
author Florian Waibel <fwaibel@eclipsesource.com> 1455541513 +0100
committer Florian Waibel <fwaibel@eclipsesource.com> 1455541588 +0100

439964 - Renames java7-server.profile to java-server.profile