tree c53893dc5de8a3ceda299f96bf6ed96b5e8cf1eb
parent 30dc6f8adad66b2640db9543b16aed28bbecf0d8
author Florian Waibel <fwaibel@eclipsesource.com> 1455541746 +0100
committer Florian Waibel <fwaibel@eclipsesource.com> 1455541746 +0100

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