diff options
| author | Wade Walker <[email protected]> | 2018-12-28 09:45:06 -0600 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2019-08-16 23:59:35 +0200 |
| commit | 760295dc597b3a91bf011115dd7bfad9c0c37f82 (patch) | |
| tree | f8f3ae67f5d1c24daf730defa6104f76aa84c0bd /.gitmodules | |
| parent | 93121714758f89a394993f0740c6929f48fb887b (diff) | |
Fixed java.home directory and removed obsolete tools.jar
In Java 9+, there's no longer a "jre" directory in the installation, so
removed references to it. The tools.jar file also no longer exists in
Java installations (it's now stored in a secret non-JAR format), so
removed that as well.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions