[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[virgo-dev] Profile file name
- From: Giamma <gm.romanato@xxxxxxxxx>
- Date: Tue, 02 Feb 2016 21:12:35 +0000
- Delivered-to: email@example.com
I understood from Florian that Daniel has proposed to use a generic name for the java 7 profile file such as java-server.profile or virgo-server-osgi.profile
My personal preference would go to the first. In any case, whatever you decide please let me know so that I can update the tooling accordingly.