| commit | b52f6ed65440231458cf41f3d940906e8792d2d7 | [log] [tgz] |
|---|---|---|
| author | Florian Waibel <fwaibel@eclipsesource.com> | Mon Feb 15 14:09:06 2016 +0100 |
| committer | Florian Waibel <fwaibel@eclipsesource.com> | Mon Feb 15 14:09:06 2016 +0100 |
| tree | c53893dc5de8a3ceda299f96bf6ed96b5e8cf1eb | |
| parent | 30dc6f8adad66b2640db9543b16aed28bbecf0d8 [diff] |
439964 - Renames java7-server.profile to java-server.profile
diff --git a/java7-server.profile b/java-server.profile similarity index 100% rename from java7-server.profile rename to java-server.profile