commit | 4c99b52e03311242b042dacbf929f21c595a1be2 | [log] [tgz] |
---|---|---|
author | Guillaume Nodet <gnodet@gmail.com> | Tue Jan 11 08:12:18 2022 +0100 |
committer | GitHub <noreply@github.com> | Tue Jan 11 08:12:18 2022 +0100 |
tree | c16a64567f61887684cb9e0445abcbeefdf77dd9 | |
parent | 716fc1a9cca2720b3d31847305afaa4a03812c72 [diff] |
Make sure the maven.home and maven.conf properties are correctly set when the JVM is started, fixes #553