[GitHub] maven issue #115: Change out JAVA_HOME. Add JRE used. JRE used print /jre an...

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[GitHub] maven issue #115: Change out JAVA_HOME. Add JRE used. JRE used print /jre an...

Tibor17-2
Github user eis commented on the issue:

    https://github.com/apache/maven/pull/115
 
    Unfortunately it's not only line ending issue - you've changed the formatting on those files as well, so ignoring line endings (`?w=1`) the diff is still huge. It seems you've reformatted the entire files.


---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [hidden email] or file a JIRA ticket
with INFRA.
---

---------------------------------------------------------------------
To unsubscribe, e-mail: [hidden email]
For additional commands, e-mail: [hidden email]