On Wed, 12 Jan 2022 14:46:54 GMT, Daniel Jelinski <d...@openjdk.java.net> wrote:
>> Currently the information about using IDEA can only be found on mailing >> lists. >> >> Additionally fixed the documentation for Visual Studio; the target >> `ide-project` does not exist. > > Daniel Jelinski has updated the pull request incrementally with one > additional commit since the last revision: > > Improved wording > I think you are good to go with your latest set of changes. > > Not sure if you want to refer to the idea.sh -h for additional options > (though that does not seem to give you any detail regarding the options) > > Not sure if you want to refer to the idea.sh -h for additional options > > I'm not sure about that either. These options are usually not required, and > the -h output leaves something to be desired. I'd rather keep the current > version, and only expand if users start asking. > > /integrate Works for me. BTW typically we do the /integrate in a separate comment but it seems to have worked her ------------- PR: https://git.openjdk.java.net/jdk/pull/7044